%0 Conference Paper %1 conf/ijcai/ZhangZYZ11 %A Zhang, Heng %A Zhang, Yan %A Ying, Mingsheng %A Zhou, Yi %B IJCAI %D 2011 %E Walsh, Toby %I IJCAI/AAAI %K dblp %P 1126-1131 %T Translating First-Order Theories into Logic Programs. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2011.html#ZhangZYZ11 %@ 978-1-57735-516-8

@inproceedings{conf/ijcai/ZhangZYZ11, added-at = {2020-09-02T00:00:00.000+0200}, author = {Zhang, Heng and Zhang, Yan and Ying, Mingsheng and Zhou, Yi}, biburl = {https://www.bibsonomy.org/bibtex/2c1dbdbbbd19ec36d5f22ba8a2b276c81/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2011}, editor = {Walsh, Toby}, ee = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-192}, interhash = {46d81ab72257fbe344af174065d07dd9}, intrahash = {c1dbdbbbd19ec36d5f22ba8a2b276c81}, isbn = {978-1-57735-516-8}, keywords = {dblp}, pages = {1126-1131}, publisher = {IJCAI/AAAI}, timestamp = {2020-09-09T15:05:18.000+0200}, title = {Translating First-Order Theories into Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2011.html#ZhangZYZ11}, year = 2011 }