{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:29Z","timestamp":1725663689768},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_105","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:50:10Z","timestamp":1330192210000},"page":"275-286","source":"Crossref","is-referenced-by-count":1,"title":["U-log, an ordered sorted logic with typed attributes"],"prefix":"10.1007","author":[{"given":"Paul Y","family":"Gloess","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"23_CR1","unstructured":"A\u00eft-Kaci & P. Lincoln: \u201cLIFE, A Natural Language for Natural Language\u201d, MCC Technical Report Number ACA-ST-074-88, Austin, February 1988."},{"issue":"3","key":"23_CR2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"A\u00eft-Kaci","year":"1986","unstructured":"A\u00eft-Kaci & R. Nasr: \u201cLOGIN: A Logic Programming Language with Built-in Inheritance\u201d, Journal of Logic Programming 3(3), pp. 187\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"J.M. Andreoli & R. Pareschi, \u201cLinear Objects: Logical Processes with Builtin Inheritance\u201d, in 9th Conference on Logic Programming, Jerusalem, Israel, 1990.","DOI":"10.1007\/BF03037173"},{"key":"23_CR4","unstructured":"T. Conrad, \u201cEquator: A Many-Sorted PROLOG Based on Equational Unification\u201d, pp. 171\u2013183, Actes du 7\u00e8me S\u00e9minaire de Programmation en Logique, CNET, Mai 1988."},{"key":"23_CR5","unstructured":"T. Conrad, \u201cTermes Typ\u00e9s et Termes Globaux\u201d, pp. 119\u2013130, Actes du 6\u00e8me S\u00e9minaire de Programmation en Logique, CNET, Mai 1987."},{"key":"23_CR6","unstructured":"M. Dincbas, \u201cLe Syst\u00e8me de R\u00e9solution de Probl\u00e8mes Metalog\u201d, Rapport 3146\/Deri, C.E.R.T. Toulouse 1979."},{"key":"23_CR7","unstructured":"J. Dorre & W.C. Rounds, \u201cOn Subsumption and Semi-Unification in Feature Algebras\u201d, in Proc. of the Fifth Symposium on Logic in Computer Science, 1990."},{"key":"23_CR8","unstructured":"H. Gallaire, \u201cMultiple Reasoning Styles in Logic Programming\u201d, in Proceedings of FGCS'88 Conference (ICOT), Tokyo, 1988."},{"key":"23_CR9","unstructured":"M. Gandriau & C. Massoutie, \u201cClasses et Types: Aides \u00e0 la Programmation Logique\u201d, pp. 57\u201369, Actes du 8\u00e8me S\u00e9minaire de Programmation en Logique, CNET, Mai 1989."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"P.Y. Gloess, \u201cU-Log, an Ordered sorted Logic with Typed Attributes (Extended Version)\u201d, Report No91\/12\/DI, Universit\u00e9 de Technologie de Compi\u00e8gne, June 1991.","DOI":"10.1007\/3-540-54444-5_105"},{"key":"23_CR11","unstructured":"P.Y. Gloess, \u201cContribution \u00e0 l'Optimisation de M\u00e9canismes de Raisonnement dans des Structures Sp\u00e9cialis\u00e9es de Repr\u00e9sentation des Connaissances\u201d, Th\u00e8se de Doctorat d'Etat, Universit\u00e9 de Technologie de Compi\u00e8gne, 22 Janvier 90."},{"key":"23_CR12","unstructured":"G. Huet, \u201cDeduction and Computation\u201d, Rapport de Recherche INRIA No513, Avril 1986."},{"key":"23_CR13","unstructured":"J-P. Jouannaud & C. Kirchner, \u201cSolving Equations in Abstract Algebras: a Rule-Based Survey of Unification\u201d, L.R.I. Research Report No561, Universit\u00e9 d'Orsay ParisXI, March 1990."},{"key":"23_CR14","unstructured":"C. Kirchner, \u201cOrder-Sorted Equational Unification\u201d, Rapport de Recherche INRIA No954, D\u00e9cembre 1988."},{"issue":"10","key":"23_CR15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/51607.51622","volume":"23","author":"F. Mellender","year":"1988","unstructured":"F. Mellender, \u201cAn Integration of Logic and Object-Oriented Programming\u201d, pp. 181\u2013185, SIGPLAN Notices, Vol. 23, No10, 1988.","journal-title":"SIGPLAN Notices"},{"key":"23_CR16","unstructured":"M. Schmidt-Schau\u00df, \u201cComputational Aspects of an Order Sorted Logic with Term Declarations\u201d, Lectures Notes in Artificial Intelligence, Vol. 395, Springer-Verlag, ISBN 3-540-51705-7 and 0-387-517-05-7, 1989."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"G. Smolka & H. A\u00eft-Kaci, \u201cInheritance Hierarchies: Semantics and Unification\u201d, to appear in Journal of Symbolic Computation, Special Issue on Unification, C. Kirchner, Ed., March 1989.","DOI":"10.1016\/S0747-7171(89)80016-1"},{"key":"23_CR18","unstructured":"G.L. Steele Jr., \u201cCommon LISP: The Language, Digital Press\u201d, ISBN 0-932376-41-X, 1984."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_105.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T22:48:51Z","timestamp":1640904531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_105","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}