{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:49:48Z","timestamp":1725634188149},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164517"},{"type":"electronic","value":"9783642711459"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71145-9_9","type":"book-chapter","created":{"date-parts":[[2011,11,15]],"date-time":"2011-11-15T13:40:16Z","timestamp":1321364416000},"page":"118-132","source":"Crossref","is-referenced-by-count":3,"title":["Unification in a Many-sorted Calculus with Declarations"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Schmidt-Schau\u00df","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"SW7","volume-title":"Rewrite Systems on a Lattice of Types","author":"RJ Cunningham","year":"1983","unstructured":"Cunningham, R.J., Dick, A.J.J. Rewrite Systems on a Lattice of Types. Rep. No. DOC 83\/7, Imperial College, London SW7 (1983)"},{"key":"9_CR2","volume-title":"Improving the Expressiveness of Many-sorted Logic AAAI-83","author":"AG Cohn","year":"1983","unstructured":"Cohn, A.G. Improving the Expressiveness of Many-sorted Logic AAAI-83, Washington (1983)."},{"key":"9_CR3","volume-title":"Einf\u00fchrung in die mathematische Logik","author":"HD Ebbinghaus","year":"1978","unstructured":"Ebbinghaus, H.-D., Flurn, J., Thomas, W., Einf\u00fchrung in die mathematische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt, (1978)"},{"key":"9_CR4","volume-title":"Algebraic Specification with Partially Ordered Sorts and Declarations","author":"M Gogolla","year":"1983","unstructured":"Gogolla, M., Algebraic Specification with Partially Ordered Sorts and Declarations. Techn. Report, Institut f\u00fcr Informatik, Dortmund (1983)"},{"key":"9_CR5","volume-title":"Equalities, Types, Modules and Generics for Logic Programming, Journal of Logic Programming","author":"JA Goguen","year":"1984","unstructured":"Goguen, JA., Meseguer, J., Equalities, Types, Modules and Generics for Logic Programming, Journal of Logic Programming (1984)."},{"key":"9_CR6","volume-title":"Order Sorted Algebra I. Parial and Overloaded Operators, Error and Inheritance","author":"JA Goguen","year":"1985","unstructured":"Goguen, JA., Meseguer, J., Order Sorted Algebra I. Parial and Overloaded Operators, Error and Inheritance. SRI Report (1985)."},{"key":"9_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G Gr\u00e4tzer","year":"1979","unstructured":"Gr\u00e4tzer, G. Universal Algebra, Springer Verlag, (1979)"},{"key":"9_CR8","volume-title":"A Logic of Actions. Machine Intelligence 6, Metamathematics Unit","author":"P Hayes","year":"1971","unstructured":"Hayes, P., A Logic of Actions. Machine Intelligence 6, Metamathematics Unit, University of Edinburgh. (1971)"},{"key":"9_CR9","volume-title":"Some Basic Notions of first order Unification Theory","author":"A Herold","year":"1983","unstructured":"Herold, A., Some Basic Notions of first order Unification Theory, Univ. Karlsruhe, Interner Report, (1983)"},{"key":"9_CR10","volume-title":"N-sorted Logic for Automated Theorem Proving in Higher-Order Logic","author":"LJ Henschen","year":"1972","unstructured":"Henschen, L.J., N-sorted Logic for Automated Theorem Proving in Higher-Order Logic. Proc. ACM Conference, Boston (1972)"},{"key":"9_CR11","volume-title":"Equations and Rewrite Rules","author":"G Huet","year":"1980","unstructured":"Huet, G., Oppen, D.C., Equations and Rewrite Rules, SRI Technical ReportCSL-111, (1980)"},{"key":"9_CR12","first-page":"VII","volume-title":"Resolution d\u2019equations de languages d\u2019ordere l,2,\u2026,\u03c9","author":"G Huet","year":"1976","unstructured":"Huet, G. Resolution d\u2019equations de languages d\u2019ordere l,2,\u2026,\u03c9, These d\u2019Etat, Univ.de Paris, VII,(1976)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/322217.322230","volume":"27","author":"G Huet","year":"1980","unstructured":"Huet, G. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, JACM vol. 27, no 4 (1980)","journal-title":"JACM"},{"key":"9_CR14","unstructured":"Kaiman J. A., Auckland, New Zealand, private communication."},{"key":"9_CR15","volume-title":"The Markgraf Karl Refutation Procedure","author":"KMG Raph","year":"1984","unstructured":"Karl Mark G Raph,The Markgraf Karl Refutation Procedure, Memo-SEKI-MK-84-01 (1984)"},{"key":"9_CR16","first-page":"145","volume-title":"Untersuchungen zur rnehrsortigen Quantorenlogik","author":"A Oberschelp","year":"1962","unstructured":"Oberschelp, A. Untersuchungen zur rnehrsortigen Quantorenlogik. Mathematische Annalen 145 (1962)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Robinson, JA., A Machine-Oriented Logic Based on the Resolution Principle. JACM 12 (1965)","DOI":"10.1145\/321250.321253"},{"key":"9_CR18","volume-title":"A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation","author":"M Schmidt-Schauss","year":"1985","unstructured":"Schmidt-Schauss, M., A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation. Proc. of the 9th IJCAI, Los Angeles, (1985)"},{"key":"9_CR19","unstructured":"Schmidt-Schauss, M., Mechanical Generation of Sorts in Clause Sets. Interner Bericht. Institut f\u00fcr Informatik,Universit\u00e4t Kaiserslautern (forthcoming)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Schmidt-Schauss, M., Unification in a Many-Sorted Calculus with Declarations., Interner Bericht. Univ. Kaiserslautern (forthcoming)","DOI":"10.1007\/978-3-642-71145-9_9"},{"key":"9_CR21","volume-title":"Universal Unification","author":"JH Siekmann","year":"1984","unstructured":"Siekmann, J.H., Universal Unification, 7th Int. CADE, Napa, California (1984)."},{"key":"9_CR22","volume-title":"Theory of First Order Unification (in German)","author":"P Szabo","year":"1982","unstructured":"Szabo, P., Theory of First Order Unification (in German), Thesis, Univ Karlsruhe, (1982)"},{"key":"9_CR23","volume-title":"A Many-Sorted Calculus Based on Resolution and Paramodulation","author":"C Waither","year":"1983","unstructured":"Waither C., A Many-Sorted Calculus Based on Resolution and Paramodulation. Proc. of the 8th IJCAI. Karlsruhe, (1983)"},{"key":"9_CR24","volume-title":"Unification in Many-Sorted Theories","author":"C Walther","year":"1964","unstructured":"Walther, C. Unification in Many-Sorted Theories. Proc. of the 6th ECAI, Pisa, (1964)"},{"key":"9_CR25","volume-title":"Wordproblems","author":"L Wos","year":"1973","unstructured":"Wos, L., Robinson, G. Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving. In \u201cWordproblems\u201d (W.W. Boone, F.B. Cannonito, R.C. Lyndon eds.) North-Holland (1973)"}],"container-title":["Informatik-Fachberichte","GWAI-85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71145-9_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,11]],"date-time":"2023-06-11T04:21:50Z","timestamp":1686457310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71145-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164517","9783642711459"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71145-9_9","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}