{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T05:29:08Z","timestamp":1725773348861},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1109\/icsecompanion.2007.14","type":"proceedings-article","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T17:14:24Z","timestamp":1181236464000},"page":"59-60","source":"Crossref","is-referenced-by-count":7,"title":["ACL2s: \"The ACL2 Sedan\""],"prefix":"10.1109","author":[{"given":"Peter C.","family":"Dillinger","sequence":"first","affiliation":[]},{"given":"Panagiotis","family":"Manolios","sequence":"additional","affiliation":[]},{"given":"Daron","family":"Vroon","sequence":"additional","affiliation":[]},{"given":"J. Strother","family":"Moore","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"ACL2s: The ACL2 Sedan","author":"dillinger","year":"2006","journal-title":"Proc User Interfaces for Theorem Provers"},{"journal-title":"ACL2s home page","year":"0","author":"dillinger","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0171"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_36"},{"year":"0","key":"5"},{"journal-title":"Computer-Aided Reasoning An Approach","year":"2000","author":"kaufmann","key":"4"},{"year":"0","key":"8"}],"event":{"name":"29th International Conference on Software Engineering","start":{"date-parts":[[2007,5,20]]},"location":"Minneapolis, MN, USA","end":{"date-parts":[[2007,5,26]]}},"container-title":["29th International Conference on Software Engineering (ICSE'07 Companion)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4222653\/4222654\/04222680.pdf?arnumber=4222680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T17:53:15Z","timestamp":1489600395000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4222680\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/icsecompanion.2007.14","relation":{},"subject":[],"published":{"date-parts":[[2007,5]]}}}