%0 Conference Paper %1 conf/acl2/KaufmannM06 %A Kaufmann, Matt %A Moore, J Strother %B ACL2 %D 2006 %E Manolios, Panagiotis %E Wilding, Matthew %I ACM %K dblp %P 103-106 %T Double rewriting for equivalential reasoning in ACL2. %U http://dblp.uni-trier.de/db/conf/acl2/acl22006.html#KaufmannM06 %@ 0-9788493-0-2

@inproceedings{conf/acl2/KaufmannM06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kaufmann, Matt and Moore, J Strother}, biburl = {https://www.bibsonomy.org/bibtex/2b5b58f54e579c0cd0dce7ceba2a9c638/dblp}, booktitle = {ACL2}, crossref = {conf/acl2/2006}, editor = {Manolios, Panagiotis and Wilding, Matthew}, ee = {https://doi.org/10.1145/1217975.1217997}, interhash = {7d31a7d847abe879b6322acc5514f488}, intrahash = {b5b58f54e579c0cd0dce7ceba2a9c638}, isbn = {0-9788493-0-2}, keywords = {dblp}, pages = {103-106}, publisher = {ACM}, timestamp = {2020-06-16T12:05:10.000+0200}, title = {Double rewriting for equivalential reasoning in ACL2.}, url = {http://dblp.uni-trier.de/db/conf/acl2/acl22006.html#KaufmannM06}, year = 2006 }