%0 Conference Paper %1 conf/slp/Stickel84 %A Stickel, Mark E. %B SLP %D 1984 %I IEEE-CS %K dblp %P 211-217 %T A Prolog Technology Theorem Prover. %U http://dblp.uni-trier.de/db/conf/slp/slp84.html#Stickel84 %@ 0-8186-0522-7

@inproceedings{conf/slp/Stickel84, added-at = {2013-12-04T00:00:00.000+0100}, author = {Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/2f5194cb65ef0def7935229861a76906f/dblp}, booktitle = {SLP}, crossref = {conf/slp/1984}, interhash = {ce3ea00c4a3661d00b6e2cf4ab5691ef}, intrahash = {f5194cb65ef0def7935229861a76906f}, isbn = {0-8186-0522-7}, keywords = {dblp}, pages = {211-217}, publisher = {IEEE-CS}, timestamp = {2013-12-05T11:35:09.000+0100}, title = {A Prolog Technology Theorem Prover.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp84.html#Stickel84}, year = 1984 }