%0 Conference Paper %1 conf/iclp/RaoRR98 %A Rao, Prasad %A Ramakrishnan, C. R. %A Ramakrishnan, I. V. %B IJCSLP %D 1998 %E Jaffar, Joxan %I MIT Press %K dblp %P 310-324 %T On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. %U http://dblp.uni-trier.de/db/conf/iclp/iclp98.html#RaoRR98 %@ 0-262-60031-5

@inproceedings{conf/iclp/RaoRR98, added-at = {2023-04-03T00:00:00.000+0200}, author = {Rao, Prasad and Ramakrishnan, C. R. and Ramakrishnan, I. V.}, biburl = {https://www.bibsonomy.org/bibtex/261b5686c3323867cf267aae1c4427d64/dblp}, booktitle = {IJCSLP}, crossref = {conf/iclp/1998}, editor = {Jaffar, Joxan}, interhash = {0c7e265cafdd18167193dc2331910a0c}, intrahash = {61b5686c3323867cf267aae1c4427d64}, isbn = {0-262-60031-5}, keywords = {dblp}, pages = {310-324}, publisher = {MIT Press}, timestamp = {2024-04-10T20:20:18.000+0200}, title = {On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp98.html#RaoRR98}, year = 1998 }