%0 Conference Paper %1 conf/iclp/TamakiS86 %A Tamaki, Hisao %A Sato, Taisuke %B ICLP %D 1986 %E Shapiro, Ehud %I Springer %K dblp %P 84-98 %T OLD Resolution with Tabulation. %U http://dblp.uni-trier.de/db/conf/iclp/iclp86.html#TamakiS86 %V 225 %@ 3-540-16492-8

@inproceedings{conf/iclp/TamakiS86, added-at = {2018-11-02T00:00:00.000+0100}, author = {Tamaki, Hisao and Sato, Taisuke}, biburl = {https://www.bibsonomy.org/bibtex/27ca0a1709d4a02fd462ecb1f8d812f48/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/1986}, editor = {Shapiro, Ehud}, ee = {https://doi.org/10.1007/3-540-16492-8_66}, interhash = {eabc714071d5974a3c9ef69b837bdb55}, intrahash = {7ca0a1709d4a02fd462ecb1f8d812f48}, isbn = {3-540-16492-8}, keywords = {dblp}, pages = {84-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:01.000+0200}, title = {OLD Resolution with Tabulation.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp86.html#TamakiS86}, volume = 225, year = 1986 }