%0 Conference Paper %1 conf/deductive/SagonasSW93 %A Sagonas, Konstantinos F. %A Swift, Terrance %A Warren, David Scott %B Workshop on Programming with Logic Databases (Informal Proceedings), ILPS %D 1993 %K LogicProgramming Negation NegationAsFailure RuleLanguage Tabling XSB %P 164 %T The XSB Programming System. %U http://dblp.uni-trier.de/db/conf/deductive/deductive93.html#SagonasSW93

@inproceedings{conf/deductive/SagonasSW93, added-at = {2008-12-02T18:41:45.000+0100}, author = {Sagonas, Konstantinos F. and Swift, Terrance and Warren, David Scott}, biburl = {https://www.bibsonomy.org/bibtex/202985d6fb56f9cfb64b74314fd1ebaa5/benedikt.linse}, booktitle = {Workshop on Programming with Logic Databases (Informal Proceedings), ILPS}, date = {2002-01-03}, interhash = {65ebc3990d8810921528b8d4e1cffe96}, intrahash = {02985d6fb56f9cfb64b74314fd1ebaa5}, keywords = {LogicProgramming Negation NegationAsFailure RuleLanguage Tabling XSB}, pages = 164, timestamp = {2008-12-02T18:41:45.000+0100}, title = {The {XSB} Programming System.}, url = {http://dblp.uni-trier.de/db/conf/deductive/deductive93.html#SagonasSW93}, year = 1993 }