%0 Conference Paper %1 conf/popl/DawsonRRSSSW95 %A Dawson, Steven %A Ramakrishnan, C. R. %A Ramakrishnan, I. V. %A Sagonas, Konstantinos %A Skiena, Steven %A Swift, Terrance %A Warren, David Scott %B POPL %D 1995 %E Cytron, Ron K. %E Lee, Peter %I ACM Press %K dblp %P 247-258 %T Unification Factoring for Efficient Execution of Logic Programs. %U http://dblp.uni-trier.de/db/conf/popl/popl95.html#DawsonRRSSSW95 %@ 0-89791-692-1

@inproceedings{conf/popl/DawsonRRSSSW95, added-at = {2023-04-03T00:00:00.000+0200}, author = {Dawson, Steven and Ramakrishnan, C. R. and Ramakrishnan, I. V. and Sagonas, Konstantinos and Skiena, Steven and Swift, Terrance and Warren, David Scott}, biburl = {https://www.bibsonomy.org/bibtex/250a322a6f82d008003528e974dd006c0/dblp}, booktitle = {POPL}, crossref = {conf/popl/1995}, editor = {Cytron, Ron K. and Lee, Peter}, ee = {https://www.wikidata.org/entity/Q58968772}, interhash = {74bad2a41de5381662421cd9c7591000}, intrahash = {50a322a6f82d008003528e974dd006c0}, isbn = {0-89791-692-1}, keywords = {dblp}, pages = {247-258}, publisher = {ACM Press}, timestamp = {2024-04-10T08:57:27.000+0200}, title = {Unification Factoring for Efficient Execution of Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl95.html#DawsonRRSSSW95}, year = 1995 }