%0 Conference Paper %1 conf/cade/Stickel88a %A Stickel, Mark E. %B CADE %D 1988 %E Lusk, Ewing L. %E Overbeek, Ross A. %I Springer %K dblp %P 752-753 %T A Prolog Technology Theorem Prover. %U http://dblp.uni-trier.de/db/conf/cade/cade88.html#Stickel88a %V 310 %@ 3-540-19343-X

@inproceedings{conf/cade/Stickel88a, added-at = {2017-05-19T00:00:00.000+0200}, author = {Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/2abc8d43a7900335d9de061eabe09f3a2/dblp}, booktitle = {CADE}, crossref = {conf/cade/1988}, editor = {Lusk, Ewing L. and Overbeek, Ross A.}, ee = {https://doi.org/10.1007/BFb0012881}, interhash = {7f7eb2da7e7184edf19112b45790c5f6}, intrahash = {abc8d43a7900335d9de061eabe09f3a2}, isbn = {3-540-19343-X}, keywords = {dblp}, pages = {752-753}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:05.000+0200}, title = {A Prolog Technology Theorem Prover.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade88.html#Stickel88a}, volume = 310, year = 1988 }