%0 Conference Paper %1 conf/lpnmr/RaoSSWF97 %A Rao, Prasad %A Sagonas, Konstantinos %A Swift, Terrance %A Warren, David Scott %A Freire, Juliana %B LPNMR %D 1997 %E Dix, Jürgen %E Furbach, Ulrich %E Nerode, Anil %I Springer %K dblp %P 431-441 %T XSB: A System for Effciently Computing WFS. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr97.html#RaoSSWF97 %V 1265 %@ 3-540-63255-7

@inproceedings{conf/lpnmr/RaoSSWF97, added-at = {2019-06-02T00:00:00.000+0200}, author = {Rao, Prasad and Sagonas, Konstantinos and Swift, Terrance and Warren, David Scott and Freire, Juliana}, biburl = {https://www.bibsonomy.org/bibtex/2bb42cc5042bfbabb6b369e7f13c74a1f/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/1997}, editor = {Dix, Jürgen and Furbach, Ulrich and Nerode, Anil}, ee = {https://www.wikidata.org/entity/Q58968735}, interhash = {310b3057ba8dbdc524dc188bc27a3a8f}, intrahash = {bb42cc5042bfbabb6b369e7f13c74a1f}, isbn = {3-540-63255-7}, keywords = {dblp}, pages = {431-441}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:18:56.000+0200}, title = {XSB: A System for Effciently Computing WFS.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr97.html#RaoSSWF97}, volume = 1265, year = 1997 }