%0 Journal Article %1 journals/japll/KaufmannMRR09 %A Kaufmann, Matt %A Moore, J Strother %A Ray, Sandip %A Reeber, Erik %D 2009 %J J. Appl. Log. %K dblp %N 1 %P 3-25 %T Integrating external deduction tools with ACL2. %U http://dblp.uni-trier.de/db/journals/japll/japll7.html#KaufmannMRR09 %V 7

@article{journals/japll/KaufmannMRR09, added-at = {2021-02-16T00:00:00.000+0100}, author = {Kaufmann, Matt and Moore, J Strother and Ray, Sandip and Reeber, Erik}, biburl = {https://www.bibsonomy.org/bibtex/208484504f6da17085f1954a49de24183/dblp}, ee = {https://doi.org/10.1016/j.jal.2007.07.002}, interhash = {0cfcd771b4f4135581772fc826c7fe88}, intrahash = {08484504f6da17085f1954a49de24183}, journal = {J. Appl. Log.}, keywords = {dblp}, number = 1, pages = {3-25}, timestamp = {2024-04-09T02:14:12.000+0200}, title = {Integrating external deduction tools with ACL2.}, url = {http://dblp.uni-trier.de/db/journals/japll/japll7.html#KaufmannMRR09}, volume = 7, year = 2009 }