%0 Conference Paper %1 journals/corr/KaufmannM14 %A Kaufmann, Matt %A Moore, J Strother %B ACL2 %D 2014 %E Verbeek, Freek %E Schmaltz, Julien %K dblp %P 1-7 %T Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs152.html#KaufmannM14 %V 152

@inproceedings{journals/corr/KaufmannM14, added-at = {2018-09-12T00:00:00.000+0200}, author = {Kaufmann, Matt and Moore, J Strother}, biburl = {https://www.bibsonomy.org/bibtex/2f4fb703ac2564df11995038275a7d6ca/dblp}, booktitle = {ACL2}, crossref = {journals/corr/VerbeekS14}, editor = {Verbeek, Freek and Schmaltz, Julien}, ee = {http://arxiv.org/abs/1406.1556}, interhash = {f8ae60367a9b2d79427a875f96d3a707}, intrahash = {f4fb703ac2564df11995038275a7d6ca}, keywords = {dblp}, pages = {1-7}, series = {EPTCS}, timestamp = {2018-09-13T11:41:34.000+0200}, title = {Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs152.html#KaufmannM14}, volume = 152, year = 2014 }