{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:18Z","timestamp":1761611298073,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540506676"},{"type":"electronic","value":"9783540460633"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50667-5_58","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:30:41Z","timestamp":1330201841000},"page":"53-70","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":41,"title":["Logic programming with polymorphically order-sorted types"],"prefix":"10.1007","author":[{"given":"Gert","family":"Smolka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"H. A\u00eft-Kaci and R. Nasr, LOGIN: A Logic Programming Language with Built-In Inheritance. The Journal of Logic Programming, 1986, 3, 185\u2013215.","journal-title":"The Journal of Logic Programming"},{"issue":"4","key":"6_CR2","first-page":"255","volume":"2","author":"A. Colmerauer","year":"1983","unstructured":"A. Colmerauer, H. Kanoui, and M. Van Caneghem, Prolog, Theoretical Principles and Current Trends. Technology and Science of Informatics 2,4, 1983, 255\u2013292.","journal-title":"Technology and Science of Informatics"},{"key":"6_CR3","unstructured":"A. Colmerauer, Equations and Inequations on Finite and Infinite Trees. Proc. of the 2nd International Conference on Fifth Generation Computer Systems, 1984, 85\u201399."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"R. Dietrich, A Polymorphic Type System with Subtypes for Prolog. Proc. of the 2nd European Symposium on Programming, Nancy, France, Springer LNCS 300, 1988.","DOI":"10.1007\/3-540-19027-9_6"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1, Equations and Initial Semantics. Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J.A. Goguen, J.-P. Jouannaud and J. Meseguer, Principles of OBJ2. Proc. POPL 1985, 52\u201366.","DOI":"10.1145\/318593.318610"},{"key":"6_CR7","unstructured":"J.A. Goguen, Order Sorted Algebra. Semantics and Theory of Computation Report No. 14, UCLA Computer Science Department, 1978."},{"key":"6_CR8","unstructured":"J.A. Goguen, J.W. Thatcher, and E.G. Wagner, An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. In R.T. Yeh (ed.), Current Trends in Programming Methodology, Volume IV, Data Structuring; Prentice Hall, 1978, 80\u2013149."},{"key":"6_CR9","unstructured":"J.A. Goguen and J. Meseguer, Eqlog: Equality, Types, and Generic Modules for Logic Programming. In D. DeGroot and G. Lindstrom (eds.), Logic Programming, Functions, Relations, and Equations; Prentice Hall 1986."},{"key":"6_CR10","first-page":"1","volume":"250","author":"J.A. Goguen","year":"1987","unstructured":"J.A. Goguen and J. Meseguer, Models and Equality for Logic Programming. TAPSOFT '87, Pisa, Springer LNCS 250, 1987, 1\u201322.","journal-title":"Pisa, Springer LNCS"},{"key":"6_CR11","unstructured":"R. Harper, D. MacQueen, and R. Milner, Standard ML. Report ECS-LFCS-86-2, Department of Computer Science, University of Edinburgh, 1986."},{"key":"6_CR12","volume-title":"Logic Programming with Feature Terms","author":"M. H\u00f6hfeld","year":"1988","unstructured":"M. H\u00f6hfeld and G. Smolka, Logic Programming with Feature Terms. Forthcoming SEKI Report, Universit\u00e4t Kaiserslautern, West Germany, 1988."},{"key":"6_CR13","unstructured":"M. Huber and I. Varsek, Extended Prolog for Order-Sorted Resolution. Proc. of the 4th IEEE Symposium on Logic Programming, San Francisco, 1987, 34\u201345."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez, Constraint Logic Programming. Proc. of the 14th ACM Symposium on Principles of Programming Languages, Munich, 1987, 111\u2013119.","DOI":"10.1145\/41625.41635"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd, Foundations of Logic Programming. Springer Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"A. Martelli and U. Montanari, An Efficient Unification Algorithm. ACM Transactions on Programming Languages and Systems 4,2, 1982, 258\u2013282.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR17","unstructured":"J. Meseguer, J.A. Goguen, and G. Smolka, Order-Sorted Unification. Report CSLI-87-86, Center for the Study of Language and Information, Stanford University, 1987. To appear in Symbolic Computation, Special Issue on Unification."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner, A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences 17, 1978, 348\u2013375.","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR19","unstructured":"P. Mishra, Towards a Theory of Types in Prolog. Proc. of the 1st IEEE Symposium on Logic Programming, 1984, 289\u2013298."},{"key":"6_CR20","series-title":"Technical Report","volume-title":"Anadic Tuples in Prolog","author":"K. Mukai","year":"1987","unstructured":"K. Mukai, Anadic Tuples in Prolog. Technical Report TR-239, ICOT, Tokyo, 1987."},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"A. Mycroft and R.A. O'Keefe, A Polymorphic Type System for Prolog. Artificial Intelligence 23, 1984, 295\u2013307.","journal-title":"Artificial Intelligence"},{"key":"6_CR22","series-title":"SEKI Report","volume-title":"TEL (Version 0.9), Report and User Manual","author":"G. Smolka","year":"1988","unstructured":"G. Smolka, TEL (Version 0.9), Report and User Manual. SEKI Report SR-87-11, FB Informatik, Universit\u00e4t Kaiserslautern, West Germany, 1988a."},{"key":"6_CR23","series-title":"LILOG Report","volume-title":"A Feature Logic with Subsorts","author":"G. Smolka","year":"1988","unstructured":"G. Smolka, A Feature Logic with Subsorts. LILOG Report 33, IBM Deutschland, West Germany May 1988. Presented at the Workshop on Unification Formalisms\u2014Syntax, Semantics and Implementation, Titisee, West Germany, April 1988b."},{"key":"6_CR24","volume-title":"Logic Computation with Polymorphically Order-Sorted Types","author":"G. Smolka","year":"1988","unstructured":"G. Smolka, Logic Computation with Polymorphically Order-Sorted Types. Dissertation, FB Informatik, Universit\u00e4t Kaiserslautern, West Germany, 1988c."},{"key":"6_CR25","series-title":"MCC Report","volume-title":"Inheritance Hierarchies: Semantics and Unification","author":"G. Smolka","year":"1987","unstructured":"G. Smolka and H. A\u00eft-Kaci, Inheritance Hierarchies: Semantics and Unification. MCC Report AI-057-87, MCC, Austin, Texas, 1987. To appear in Symbolic Computation, Special Issue on Unification."},{"key":"6_CR26","series-title":"SEKI Report","volume-title":"Order-Sorted Equational Computation","author":"G. Smolka","year":"1987","unstructured":"G. Smolka, W. Nutt, J.A. Goguen and J. Meseguer, Order-Sorted Equational Computation. SEKI Report SR-87-14, Universit\u00e4t Kaiserslautern, West Germany, 1987. To appear in H. A\u00eft-Kaci and M. Nivat, Resolution of Equations in Algebraic Structures, Academic Press."},{"key":"6_CR27","unstructured":"C. Walther, A Many-Sorted Calculus Based on Resolution and Paramodulation. Proc. 8th International Joint Conference on Artificial Intelligence, 1983, W. Kaufmann, 882\u2013891."},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"C. Walther, A Many-sorted Calculus Based on Resolution and Paramodulation. Pitman and Morgan Kaufman Publishers, Research Notes in Artificial Intelligence, 1987.","DOI":"10.1016\/B978-0-273-08718-2.50007-9"},{"issue":"1","key":"6_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/42267.45071","volume":"35","author":"C. Walther","year":"1988","unstructured":"C. Walther, Many-Sorted Unification. Journal of the ACM 35 (1), 1988, 1\u201317.","journal-title":"Journal of the ACM"},{"key":"6_CR30","unstructured":"J. Zobel, Derivation of Polymorphic Types for Prolog Programs. Proc. of the 4th International Conference on Logic Programming, Melbourne, Australia, 1987, 817\u2013838."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50667-5_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:48:16Z","timestamp":1742590096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50667-5_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540506676","9783540460633"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-50667-5_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}