{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:40:17Z","timestamp":1742589617109,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095194"},{"type":"electronic","value":"9783540351283"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09519-5_54","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:45:36Z","timestamp":1330188336000},"page":"23-29","source":"Crossref","is-referenced-by-count":0,"title":["Canonicality in rule systems"],"prefix":"10.1007","author":[{"given":"Michael R.","family":"Genesereth","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"3_CR1","unstructured":"Brown, P. J.: \u201cCanonical Forms and Artificial Languages\u201d, Mathematical Notes No. 19, Computation Center, U. of N. Carolina, July 1963."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1080\/00029890.1969.12000326","volume":"76","author":"W. S. Brown","year":"1969","unstructured":"Brown, W. S.: \u201cRational Exponential Expressions and a Conjecture Concerning \u03c0 and e\u201d, Amer. Math. Monthly, Vol. 76, January 1969, pp. 28\u201334.","journal-title":"Amer. Math. Monthly"},{"issue":"2","key":"3_CR3","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/321574.321591","volume":"17","author":"B. F. Caviness","year":"1970","unstructured":"Caviness, B. F.: \u201cOn Canonical Forms and Simplification\u201d, J. ACM, Vol. 17, No. 2, April 1970, pp. 385\u2013396.","journal-title":"J. ACM"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Cheatham, T. E.: \u201cSymbolic Evaluation \u2014 A Look at Loop Analysis\u201d, Proc. of a Symposium on Symbolic and Algebraic Manipulation, August 1976, pp. 90\u201396.","DOI":"10.1145\/800205.806327"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Fateman, R. J.: \u201cThe User-level Semantic Pattern Matching Capability in MACSYMA\u201d, Proc. of the 2nd Symposium on Symbolic and Algebraic Manipulation, ACM Headquarters, New York, pp. 311\u2013323.","DOI":"10.1145\/800204.806300"},{"key":"3_CR6","unstructured":"Fateman, R. J.: \u201cEssays in Algebraic Manipulation\u201d, TR-95, M.I.T. Lab. for Comp. Sci., April 1972."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Floyd, R.: \u201cAssigning Meaning to Programs\u201d, Proc. of a Symposium on Applied Mathematics, Vol. 19, Mathematical Aspects of Computer Science, pp. 19\u201332, American Mathematical Society, New York.","DOI":"10.1090\/psapm\/019\/0235771"},{"issue":"8","key":"3_CR8","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1145\/362637.362648","volume":"14","author":"J. Moses","year":"1971","unstructured":"Moses, J.: \u201cAlgebraic Simplification: A guide for the Perplexed\u201d, C. ACM, Vol. 14, No. 8, August 1971, pp. 527\u2013537.","journal-title":"C. ACM"},{"key":"3_CR9","first-page":"511","volume":"33","author":"D. Richardson","year":"1968","unstructured":"Richardson, D.: \u201cSome Unsolvable Problems Involving Functions of a Real Variable\u201d, J. Symbolic Logic, Vol. 33, 1968, pp. 511\u2013520.","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"3_CR10","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A.: \u201cA Machine-oriented Logic Based on the Resolution Principle\u201d, J. ACM, Vol. 12, No. 1, January 1965, pp. 23\u201341.","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09519-5_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:05:26Z","timestamp":1742587526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09519-5_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095194","9783540351283"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-09519-5_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}