%0 Conference Paper %1 conf/cade/Kaufmann88 %A Kaufmann, Matt %B CADE %D 1988 %E Lusk, Ewing L. %E Overbeek, Ross A. %I Springer %K dblp %P 735-736 %T An Interactive Enhancement to the Boyer-Moore Theorem Prover. %U http://dblp.uni-trier.de/db/conf/cade/cade88.html#Kaufmann88 %V 310 %@ 3-540-19343-X

@inproceedings{conf/cade/Kaufmann88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kaufmann, Matt}, biburl = {https://www.bibsonomy.org/bibtex/2d6b3bc69dec40b084bc731df726d8822/dblp}, booktitle = {CADE}, crossref = {conf/cade/1988}, editor = {Lusk, Ewing L. and Overbeek, Ross A.}, ee = {https://doi.org/10.1007/BFb0012872}, interhash = {ffec722b6977418c19e4c96e4056504b}, intrahash = {d6b3bc69dec40b084bc731df726d8822}, isbn = {3-540-19343-X}, keywords = {dblp}, pages = {735-736}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:05.000+0200}, title = {An Interactive Enhancement to the Boyer-Moore Theorem Prover.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade88.html#Kaufmann88}, volume = 310, year = 1988 }