%0 Conference Paper %1 conf/birthday/BjornerCG12 %A Bjørner, Nikolaj S. %A de Caso, Guido %A Gurevich, Yuri %B Correct Reasoning %D 2012 %E Erdem, Esra %E Lee, Joohyung %E Lierler, Yuliya %E Pearce, David %I Springer %K dblp %P 72-86 %T From Primal Infon Logic with Individual Variables to Datalog. %U http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#BjornerCG12 %V 7265 %@ 978-3-642-30742-3

@inproceedings{conf/birthday/BjornerCG12, added-at = {2022-04-14T00:00:00.000+0200}, author = {Bjørner, Nikolaj S. and de Caso, Guido and Gurevich, Yuri}, biburl = {https://www.bibsonomy.org/bibtex/2700fb6d1b85791a0b9e98df12a6ebcf6/dblp}, booktitle = {Correct Reasoning}, crossref = {conf/birthday/2012lifschitz}, editor = {Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David}, ee = {https://doi.org/10.1007/978-3-642-30743-0_6}, interhash = {5af55ce92f6d3b7d701b2f2102e17f5f}, intrahash = {700fb6d1b85791a0b9e98df12a6ebcf6}, isbn = {978-3-642-30742-3}, keywords = {dblp}, pages = {72-86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:14.000+0200}, title = {From Primal Infon Logic with Individual Variables to Datalog.}, url = {http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#BjornerCG12}, volume = 7265, year = 2012 }