%0 Conference Paper %1 conf/slp/Carlsson85 %A Carlsson, Mats %B SLP %D 1985 %I IEEE-CS %K dblp %P 162-171 %T A Microcoded Unifier for Lisp Machine Prolog. %U http://dblp.uni-trier.de/db/conf/slp/slp85.html#Carlsson85 %@ 0-8186-0636-3

@inproceedings{conf/slp/Carlsson85, added-at = {2013-12-04T00:00:00.000+0100}, author = {Carlsson, Mats}, biburl = {https://www.bibsonomy.org/bibtex/2fa8b7827b9c52e56f8b780f0cd10c71c/dblp}, booktitle = {SLP}, crossref = {conf/slp/1985}, interhash = {04bcad2f9efa426d2b17d636967e4347}, intrahash = {fa8b7827b9c52e56f8b780f0cd10c71c}, isbn = {0-8186-0636-3}, keywords = {dblp}, pages = {162-171}, publisher = {IEEE-CS}, timestamp = {2013-12-05T11:34:20.000+0100}, title = {A Microcoded Unifier for Lisp Machine Prolog.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp85.html#Carlsson85}, year = 1985 }