%0 Conference Paper %1 conf/pods/ChaudhuriV94 %A Chaudhuri, Surajit %A Vardi, Moshe Y. %B PODS %D 1994 %E Vianu, Victor %I ACM Press %K dblp %P 107-116 %T On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. %U http://dblp.uni-trier.de/db/conf/pods/pods94.html#ChaudhuriV94 %@ 0-89791-642-5

@inproceedings{conf/pods/ChaudhuriV94, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chaudhuri, Surajit and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/26a85dc5953bf2b3d0920dd6ee54278d9/dblp}, booktitle = {PODS}, cite = {...}, crossref = {conf/pods/94}, editor = {Vianu, Victor}, ee = {https://doi.org/10.1145/182591.182604}, interhash = {597c66f12a1532b8515f5fe16157dca8}, intrahash = {6a85dc5953bf2b3d0920dd6ee54278d9}, isbn = {0-89791-642-5}, keywords = {dblp}, pages = {107-116}, publisher = {ACM Press}, timestamp = {2018-11-07T14:07:30.000+0100}, title = {On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs.}, url = {http://dblp.uni-trier.de/db/conf/pods/pods94.html#ChaudhuriV94}, year = 1994 }