{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:03:33Z","timestamp":1725667413666},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183846"},{"type":"electronic","value":"9783642466205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-46620-5_13","type":"book-chapter","created":{"date-parts":[[2012,3,9]],"date-time":"2012-03-09T10:00:26Z","timestamp":1331287226000},"page":"133-144","source":"Crossref","is-referenced-by-count":0,"title":["On The Integration of Equality, Sorts, and Logic Programming"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Udo","family":"Pletat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K. R. and van Emden, M. H. Contributions to The Theory of Logic Programming. Journal of the ACM, Volume 29, Number 3, 1982.","DOI":"10.1145\/322326.322339"},{"key":"13_CR2","volume-title":"Refined Strategies for Semantic Unification. Proc. TAPSOFT-87, LNCS Vol 250 Springer Verlag","author":"PG Bosco","year":"1987","unstructured":"Bosco, P. G., Giovannetti, E. and Moiso, C. Refined Strategies for Semantic Unification. Proc. TAPSOFT-87, LNCS Vol 250 Springer Verlag, 1987."},{"key":"13_CR3","volume-title":"Integrating Logic Programming and Equational Specification of Abstract Data Types. LILOG-Report","author":"C Beierle","year":"1987","unstructured":"Beierle, C. and Pletat, U. Integrating Logic Programming and Equational Specification of Abstract Data Types. LILOG-Report, IBM Germany, Stuttgart 1987,. in preparation."},{"key":"13_CR4","volume-title":"Programming in Prolog","author":"WF Clocksin","year":"1982","unstructured":"Clocksin, W. F. and Mellish, C. S. Programming in Prolog. Springer-Verlag, Berlin 1982."},{"volume-title":"Functional and Logic Programming, Prentice Hall","year":"1986","key":"13_CR5","unstructured":"De Groot, D. and Lindstrom, G. (eds) Functional and Logic Programming, Prentice Hall, 1986."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"van Emden, M. H. and Kowalski, R. A. The Semantics of Predicate Logic as a Programming Language. Journal of the ACM, Volume 23, Number 4, 1976.","DOI":"10.1145\/321978.321991"},{"key":"13_CR7","volume-title":"Foundations of Algebraic Specification","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H. and Mahr, B. Foundations of Algebraic Specification 1. Springer-Verlag, Berlin 1985."},{"key":"13_CR8","unstructured":"GM 86] Goguen, J. G. and Meseguer, J. EQLOG: Equality, Types and Generic Modules for Logic Programming. In [DeGL 86]."},{"key":"13_CR9","first-page":"1986","volume-title":"SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. In. Proc. 1986 Symposium on Logic Programming","author":"JH Gallier","year":"1986","unstructured":"Gallier, J. H. and Raatz, S. SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. In. Proc. 1986 Symposium on Logic Programming, Salt Lake City, IEEE Computer Society Press, 1986"},{"key":"13_CR10","unstructured":"Goguen, J. A. and Thatcher, J. W. and Wagner, E. An Initial Algebra Approach to The Specification, Correctness and Implementation of Abstract Data Types. In: Current Trends in Programming Methodology, R. T. Yeh, (ed), Prentice-Hall, 1978."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Hussmann, H. Unification in Conditional-Equational Theories. Proc. EUROCAL 85, LNCS, Springer Verlag, 1985.","DOI":"10.1007\/3-540-15984-3_328"},{"key":"13_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1984","unstructured":"Lloyd, J. W. Foundations of Logic Programming. Springer-Verlag, Berlin 1984."},{"key":"13_CR13","volume-title":"Characterizing Specification Languages which Admit Initial Semantics. Theoretical Computer Science","author":"B Mahr","year":"1984","unstructured":"Mahr, B. and Makowsky, J. A. Characterizing Specification Languages which Admit Initial Semantics. Theoretical Computer Science, Volume 31, North-Holland 1984"},{"key":"13_CR14","first-page":"202","volume-title":"Proc. Term Rewriting Techniques and Applications","author":"P Rety","year":"1985","unstructured":"Rety, P. and Kirchner, C. and Kirchner, H. and Lescanne, P. NARROWER: a new algorithm for unification and its application to Logic Programming. In: Proc. Term Rewriting Techniques and Applications, J. P. Jouannaud (ed), LNCS Vol. 202, Springer Verlag, Berlin 1985."},{"key":"13_CR15","volume-title":"Proc. 7th International Conference on Automated Deduction","author":"J Siekmann","year":"1984","unstructured":"Siekmann, J. Universal Unification. Proc. 7th International Conference on Automated Deduction, R. E. Shostak (ed), LNCS Vol. 170, Springer Verlag, Berlin 1984."},{"key":"13_CR16","unstructured":"Yamamoto, A. A Theoretical Combination of SLD-Resolution and Narrowing. Proc. 4th Int. Conf. on Logic Programming, May 1987."}],"container-title":["Informatik-Fachberichte","3. \u00d6sterreichische Artificial-Intelligence-Tagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-46620-5_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:42:29Z","timestamp":1620135749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-46620-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183846","9783642466205"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-46620-5_13","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}