%0 Journal Article %1 journals/jar/Stickel88 %A Stickel, Mark E. %D 1988 %J J. Autom. Reason. %K dblp %N 4 %P 353-380 %T A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. %U http://dblp.uni-trier.de/db/journals/jar/jar4.html#Stickel88 %V 4

@article{journals/jar/Stickel88, added-at = {2020-09-02T00:00:00.000+0200}, author = {Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/2861d7af4f0dd9dbcfa5e3e060740cbdc/dblp}, ee = {https://www.wikidata.org/entity/Q56059054}, interhash = {b8a25ed163306b38ae75197d9b249e64}, intrahash = {861d7af4f0dd9dbcfa5e3e060740cbdc}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 4, pages = {353-380}, timestamp = {2020-09-09T13:34:51.000+0200}, title = {A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar4.html#Stickel88}, volume = 4, year = 1988 }