%0 Conference Paper %1 conf/cade/AstrachanS92 %A Astrachan, Owen L. %A Stickel, Mark E. %B CADE %D 1992 %E Kapur, Deepak %I Springer %K dblp %P 224-238 %T Caching and Lemmaizing in Model Elimination Theorem Provers. %U http://dblp.uni-trier.de/db/conf/cade/cade92.html#AstrachanS92 %V 607 %@ 3-540-55602-8

@inproceedings{conf/cade/AstrachanS92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Astrachan, Owen L. and Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/27ab637193acd939dec9101c4d3376ced/dblp}, booktitle = {CADE}, crossref = {conf/cade/1992}, editor = {Kapur, Deepak}, ee = {https://doi.org/10.1007/3-540-55602-8_168}, interhash = {3a3c182db4ed207617f91bba23ce1439}, intrahash = {7ab637193acd939dec9101c4d3376ced}, isbn = {3-540-55602-8}, keywords = {dblp}, pages = {224-238}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:30.000+0200}, title = {Caching and Lemmaizing in Model Elimination Theorem Provers.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade92.html#AstrachanS92}, volume = 607, year = 1992 }