%0 Conference Paper %1 conf/pods/Ross90 %A Ross, Kenneth A. %B PODS %D 1990 %I ACM Press %K Datalog Logic LogicProgramming ModularStratification Negation Stratification %P 161-171 %T Modular Stratification and Magic Sets for DATALOG Programs with Negation. %U http://dblp.uni-trier.de/db/conf/pods/pods90.html#Ross90 %@ 0-89791-352-3

@inproceedings{conf/pods/Ross90, added-at = {2008-11-14T21:49:25.000+0100}, author = {Ross, Kenneth A.}, biburl = {https://www.bibsonomy.org/bibtex/20bfd63b72af66aa8b50e98e914ca2b19/benedikt.linse}, booktitle = {PODS}, cdrom = {journals/anthology/dvd1:text/1-3/PODS90/P161.PDF}, cite = {conf/iclp/Vieille87}, crossref = {conf/pods/90}, date = {2006-03-31}, ee = {db/conf/pods/Ross90.html}, interhash = {5c73c360c8acbf4333fa652a7262184d}, intrahash = {0bfd63b72af66aa8b50e98e914ca2b19}, isbn = {0-89791-352-3}, keywords = {Datalog Logic LogicProgramming ModularStratification Negation Stratification}, pages = {161-171}, publisher = {ACM Press}, timestamp = {2008-11-21T11:30:41.000+0100}, title = {Modular Stratification and Magic Sets for {DATALOG} Programs with Negation.}, url = {http://dblp.uni-trier.de/db/conf/pods/pods90.html#Ross90}, year = 1990 }