%0 Journal Article %1 journals/tplp/HouCD10 %A Hou, Ping %A Cat, Broes De %A Denecker, Marc %D 2010 %J Theory Pract. Log. Program. %K dblp %N 4-6 %P 581-596 %T FO(FD): Extending classical logic with rule-based fixpoint definitions. %U http://dblp.uni-trier.de/db/journals/tplp/tplp10.html#HouCD10 %V 10

@article{journals/tplp/HouCD10, added-at = {2020-02-13T00:00:00.000+0100}, author = {Hou, Ping and Cat, Broes De and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/23e6a4eaf294e65caaed42332a1362372/dblp}, ee = {https://doi.org/10.1017/S1471068410000293}, interhash = {411ba228a021d95e6b597768a15758e6}, intrahash = {3e6a4eaf294e65caaed42332a1362372}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-6}, pages = {581-596}, timestamp = {2020-02-14T11:43:32.000+0100}, title = {FO(FD): Extending classical logic with rule-based fixpoint definitions.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp10.html#HouCD10}, volume = 10, year = 2010 }