%0 Conference Paper %1 journals/corr/abs-1304-7855 %A Kaufmann, Matt %A Moore, J Strother %B ACL2 %D 2013 %E Gamboa, Ruben %E Davis, Jared %K dblp %P 5-12 %T Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 %U http://dblp.uni-trier.de/db/series/eptcs/eptcs114.html#abs-1304-7855 %V 114

@inproceedings{journals/corr/abs-1304-7855, added-at = {2018-09-12T00:00:00.000+0200}, author = {Kaufmann, Matt and Moore, J Strother}, biburl = {https://www.bibsonomy.org/bibtex/24385c089d7f87fe288c66096cd598bc1/dblp}, booktitle = {ACL2}, crossref = {journals/corr/abs-1304-7123}, editor = {Gamboa, Ruben and Davis, Jared}, ee = {http://arxiv.org/abs/1304.7855}, interhash = {1e71d68299f9983ad9e67d133e3b73f0}, intrahash = {4385c089d7f87fe288c66096cd598bc1}, keywords = {dblp}, pages = {5-12}, series = {EPTCS}, timestamp = {2018-09-13T11:41:23.000+0200}, title = {Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs114.html#abs-1304-7855}, volume = 114, year = 2013 }