{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:36Z","timestamp":1725456216386},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012889","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"768-769","source":"Crossref","is-referenced-by-count":23,"title":["RRL: A rewrite rule laboratory"],"prefix":"10.1007","author":[{"given":"Deepak","family":"Kapur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hantao","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"70_CR1","doi-asserted-by":"crossref","unstructured":"Kapur, D., Sivakumar, G., and Zhang, H., \u201cRRL: A Rewrite Rule Laboratory,\u201d Proc. of 8th International Conf. on Automated Deduction (CADE-8), Oxford, England, LNCS 230, Springer Verlag, 691\u2013692, July 1986.","DOI":"10.1007\/3-540-16780-3_140"},{"key":"70_CR2","volume-title":"RRL: A Rewrite Rule Laboratory \u2014 User's Manual","author":"D. Kapur","year":"1987","unstructured":"Kapur, D., and Zhang, H., RRL: A Rewrite Rule Laboratory \u2014 User's Manual. Unpublished Manuscript, General Electric Corporate Research and Development, Schenectady, NY, May 1987."},{"key":"70_CR3","doi-asserted-by":"crossref","unstructured":"Knuth, D.E., and Bendix, P.B., \u201cSimple Word Problems in Universal Algebras,\u201d Computational Problems in Abstract Algebras (ed. Leech), Pergamon Press, 1970, 263\u2013297.","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"70_CR4","doi-asserted-by":"crossref","unstructured":"Narendran, P., and Stillman, J., \u201cHardware Verification in the Interactive VHDL Workstation,\u201d in: VLSI Specification, Verification and Synthesis (eds. G. Birtwistle and P.A. Subrahmanyam), Kluwer Academic Publishers, 217\u2013235, 1988.","DOI":"10.1007\/978-1-4613-2007-4_7"},{"key":"70_CR5","doi-asserted-by":"crossref","unstructured":"Narendran, P., and Stillman, J., \u201cFormal Verification of the Sobel Image Processing Chip,\u201d to appear in the Proc. of IEEE Design Automation Conf., Anaheim, CA, June 1988.","DOI":"10.1109\/DAC.1988.14760"},{"key":"70_CR6","doi-asserted-by":"crossref","unstructured":"Zhang, H., and Kapur, D., \u201cFirst-Order Theorem Proving using Conditional Rewrite Rules,\u201d to appear in the Proc. of CADE-9, Argonne, May 1988.","DOI":"10.1007\/BFb0012820"},{"key":"70_CR7","doi-asserted-by":"crossref","unstructured":"Zhang, H., Kapur, D., and Krishnamoorthy, M.S., \u201cA Mechanizable Induction Principle for Equational Specifications,\u201d to appear in the Proc. of CADE-9, Argonne, May 1988.","DOI":"10.1007\/BFb0012831"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0012889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:24:03Z","timestamp":1586579043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012889"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0012889","relation":{},"subject":[]}}