%0 Conference Paper %1 conf/slp/SwiftW94a %A Swift, Terrance %A Warren, David Scott %B ILPS %D 1994 %E Bruynooghe, Maurice %I MIT Press %K dblp %P 633-652 %T An Abstract Machine for SLG Resolution: Definite Programs. %U http://dblp.uni-trier.de/db/conf/slp/slp94.html#SwiftW94a %@ 0-262-52191-1

@inproceedings{conf/slp/SwiftW94a, added-at = {2013-12-04T00:00:00.000+0100}, author = {Swift, Terrance and Warren, David Scott}, biburl = {https://www.bibsonomy.org/bibtex/24df301d0e7f02eed9b8811862c5049a6/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1994}, editor = {Bruynooghe, Maurice}, interhash = {9e473a7a1622fce5abfd411f98b32627}, intrahash = {4df301d0e7f02eed9b8811862c5049a6}, isbn = {0-262-52191-1}, keywords = {dblp}, pages = {633-652}, publisher = {MIT Press}, timestamp = {2013-12-05T11:34:43.000+0100}, title = {An Abstract Machine for SLG Resolution: Definite Programs.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp94.html#SwiftW94a}, year = 1994 }