%0 Conference Paper %1 conf/lpnmr/HouD09 %A Hou, Ping %A Denecker, Marc %B LPNMR %D 2009 %E Erdem, Esra %E Lin, Fangzhen %E Schaub, Torsten %I Springer %K dblp %P 129-141 %T A Deductive System for FO(ID) Based on Least Fixpoint Logic. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2009.html#HouD09 %V 5753 %@ 978-3-642-04237-9

@inproceedings{conf/lpnmr/HouD09, added-at = {2017-06-04T00:00:00.000+0200}, author = {Hou, Ping and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/28a2cfe9c67886ce22286908ff0cce1bf/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2009}, editor = {Erdem, Esra and Lin, Fangzhen and Schaub, Torsten}, ee = {https://doi.org/10.1007/978-3-642-04238-6_13}, interhash = {ad6205e7b096f13f6a9db2330fb68cbb}, intrahash = {8a2cfe9c67886ce22286908ff0cce1bf}, isbn = {978-3-642-04237-9}, keywords = {dblp}, pages = {129-141}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:59:53.000+0200}, title = {A Deductive System for FO(ID) Based on Least Fixpoint Logic.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2009.html#HouD09}, volume = 5753, year = 2009 }