{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:10:48Z","timestamp":1687284648839},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1985,6,1]],"date-time":"1985-06-01T00:00:00Z","timestamp":486432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1985,6,1]],"date-time":"1985-06-01T00:00:00Z","timestamp":486432000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1985,6]]},"DOI":"10.1007\/bf00264228","type":"journal-article","created":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T17:17:22Z","timestamp":1096305442000},"page":"149-169","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Rewrite systems on a lattice of types"],"prefix":"10.1007","volume":"22","author":[{"given":"R. J.","family":"Cunningham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. J. J.","family":"Dick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1985,6,1]]},"reference":[{"key":"BF00264228_CR1","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-10828-9_61","volume":"Vol. 112","author":"M. Broy","year":"1981","unstructured":"Broy, M., Wirsing, M.: On the algebraic specification of non-deterministic programming languages. Lecture Notes in Computer Science. Vol. 112, pp. 162\u2013179 (March 1981)","journal-title":"Lecture Notes in Computer Science"},{"key":"BF00264228_CR2","doi-asserted-by":"publisher","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J.V. Guttag","year":"1978","unstructured":"Guttag, J.V., Horowitz, E., Musser, D.R.: Abstract Data Types and Software Validation. Comm. ACM 21, 1048\u201364 (Dec 1978)","journal-title":"Comm. ACM"},{"key":"BF00264228_CR3","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types. Current trends in programming methodology, 1979. Yeh (ed.), Vol. IV, pp. 80\u2013321"},{"key":"BF00264228_CR4","doi-asserted-by":"crossref","unstructured":"Huet, G., Oppen, D.C.: Equations and Rewrite Rules \u2014 A Survey. Stanford Comput. Sci. Report. No. STAN-CS-80-785, 1980","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"BF00264228_CR5","first-page":"263","volume-title":"Computational Problems in Abstract Algebra","author":"D.E. Knuth","year":"1970","unstructured":"Knuth, D.E., Bendix, P.B.: Simple Word Problems in Universal Algebras. In: Computational Problems in Abstract Algebra, pp. 263\u2013297. J. Leech (ed.). Oxford: Pergamon Press 1970"},{"key":"BF00264228_CR6","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical Theory of Computation. New York: MacGraw-Hill 1974"},{"key":"BF00264228_CR7","doi-asserted-by":"publisher","first-page":"223","DOI":"10.2307\/1968867","volume":"43","author":"M.H.A. Newman","year":"1942","unstructured":"Newman, M.H.A.: On theories with a combinatorial definition of \u2018equivalence\u2019. Ann. Math. 43, 223\u2013243 (1942)","journal-title":"Ann. Math."},{"key":"BF00264228_CR8","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12, 32\u201341 (1965)","journal-title":"J. ACM"},{"key":"BF00264228_CR9","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D.S. Scott","year":"1976","unstructured":"Scott, D.S.: Data Types as Lattices. SIAM J. Comput. 5, 522\u2013587 (Sept. 1976)","journal-title":"SIAM J. Comput."},{"key":"BF00264228_CR10","doi-asserted-by":"crossref","unstructured":"Shamir, A., Wadge, W.W.: Data Types as Objects. Lecture Notes in Computer Science 52, pp. 465\u2013479 (July 1977) Springer","DOI":"10.1007\/3-540-08342-1_36"},{"key":"BF00264228_CR11","doi-asserted-by":"crossref","unstructured":"Sickel, S.: A search technique for clause interconnectivity graphs. IEEE Trans. Comput. C25, (Aug. 1976)","DOI":"10.1109\/TC.1976.1674701"},{"key":"BF00264228_CR12","unstructured":"Walther, C.: A many-sorted calculus based on resolution and paramodulation. Internation Joint Conference on A.I. 1983, Karlsruhe, A. Bundy (ed.). Kaufmann Inc., Pub."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264228.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF00264228\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264228","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264228.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T08:06:27Z","timestamp":1681200387000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF00264228"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,6]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1985,6]]}},"alternative-id":["BF00264228"],"URL":"https:\/\/doi.org\/10.1007\/bf00264228","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,6]]},"assertion":[{"value":"16 January 1985","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 June 1985","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}