%0 Conference Paper %1 conf/birthday/ArmandoCR05 %A Armando, Alessandro %A Compagna, Luca %A Ranise, Silvio %B Mechanizing Mathematical Reasoning %D 2005 %E Hutter, Dieter %E Stephan, Werner %I Springer %K dblp %P 30-45 %T Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. %U http://dblp.uni-trier.de/db/conf/birthday/siekmann2005.html#ArmandoCR05 %V 2605 %@ 3-540-25051-4

@inproceedings{conf/birthday/ArmandoCR05, added-at = {2017-05-23T00:00:00.000+0200}, author = {Armando, Alessandro and Compagna, Luca and Ranise, Silvio}, biburl = {https://www.bibsonomy.org/bibtex/2b66c07c56950a10693f47cf80b79100e/dblp}, booktitle = {Mechanizing Mathematical Reasoning}, crossref = {conf/birthday/2005siekmann}, editor = {Hutter, Dieter and Stephan, Werner}, ee = {https://doi.org/10.1007/978-3-540-32254-2_3}, interhash = {35b4d8c4ea3e9020df36c50ff4ab7cd9}, intrahash = {b66c07c56950a10693f47cf80b79100e}, isbn = {3-540-25051-4}, keywords = {dblp}, pages = {30-45}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:47.000+0200}, title = {Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.}, url = {http://dblp.uni-trier.de/db/conf/birthday/siekmann2005.html#ArmandoCR05}, volume = 2605, year = 2005 }