{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T02:58:48Z","timestamp":1767927528128,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540159841","type":"print"},{"value":"9783540396857","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15984-3_302","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:30:51Z","timestamp":1330194651000},"page":"422-423","source":"Crossref","is-referenced-by-count":7,"title":["Obtaining complete sets of reductions and equations without using special unification algorithms"],"prefix":"10.1007","author":[{"given":"John","family":"Pedersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"74_CR1","first-page":"263","volume-title":"Computational Problems in Abstract Algebra","author":"D. Knuth","year":"1970","unstructured":"Knuth, D. and Bendix, P. Simple word problems in universal algebras. In Computational Problems in Abstract Algebra. Leech, J. (Ed.), Pergamon Press, New York, 1970, pp.263\u2013297."},{"key":"74_CR2","unstructured":"Lankford, D.S. and Ballantyne, A.M. Decision procedures for simple equational theories with a permutative axiom: Complete sets of permutative reductions. In Proc. 3rd Automated Deduction Workshop, MIT, August 1977."},{"key":"74_CR3","unstructured":"Pedersen, J. Algorithms for completing sets of identities, Master's thesis, Emory University, 1983."},{"key":"74_CR4","unstructured":"Pedersen, J. Obtaining complete sets of reductions and equations without using special unification algorithms. (submitted to J. ACM.)"},{"issue":"2","key":"74_CR5","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/322248.322251","volume":"28","author":"G.E. Peterson","year":"1981","unstructured":"Peterson, G.E. and Stickel, M.E. Complete sets of reductions for some equational theories. J. ACM\n28, 2 (1981), 233\u2013264.","journal-title":"J. ACM"},{"key":"74_CR6","doi-asserted-by":"crossref","first-page":"325","DOI":"10.2307\/1969001","volume":"42","author":"P. Whitman","year":"1941","unstructured":"Whitman, P. Free lattices. Ann. of Math.\n42 (1941), 325\u2013330.","journal-title":"Ann. of Math."}],"container-title":["Lecture Notes in Computer Science","EUROCAL '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15984-3_302.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:00:55Z","timestamp":1619557255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15984-3_302"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159841","9783540396857"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-15984-3_302","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}