{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:32:37Z","timestamp":1752460357303},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_104","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:49:23Z","timestamp":1330210163000},"page":"255-274","source":"Crossref","is-referenced-by-count":29,"title":["Towards a meaning of LIFE"],"prefix":"10.1007","author":[{"given":"Hassan","family":"A\u00eft-Kaci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Podelski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"22_CR1","volume-title":"A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Types","author":"H. A\u00eft-Kaci","year":"1984","unstructured":"Hassan A\u00eft-Kaci. A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Types. PhD thesis, University of Pennsylvania, Philadelphia, PA, 1984."},{"key":"22_CR2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0304-3975(86)90047-2","volume":"45","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"Hassan A\u00eft-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293\u2013351, 1986.","journal-title":"Theoretical Computer Science"},{"key":"22_CR3","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"Hassan A\u00eft-Kaci and Roger Nasr. LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming, 3:185\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"key":"22_CR4","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF01806313","volume":"2","author":"H. A\u00eft-Kaci","year":"1989","unstructured":"Hassan A\u00eft-Kaci and Roger Nasr. Integrating logic and functional programming. Lisp and Symbolic Computation, 2:51\u201389, 1989.","journal-title":"Lisp and Symbolic Computation"},{"key":"22_CR5","unstructured":"Hassan A\u00eft-Kaci, Roger Nasr, and Patrick Lincoln. Le Fun: Logic, equations, and Functions. In Proceedings of the Symposium on Logic Programming (San Francisco, CA), pages 17\u201323, Washington, DC, 1987. IEEE, Computer Society Press."},{"key":"22_CR6","series-title":"PRL Research Report","volume-title":"Towards the meaning of LIFE","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"Hassan A\u00eft-Kaci and Andreas Podelski. Towards the meaning of LIFE. PRL Research Report 11, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1991."},{"key":"22_CR7","series-title":"PRL Research Report","volume-title":"Functions as passive constraints in LIFE","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"Hassan A\u00eft-Kaci and Andreas Podelski. Functions as passive constraints in LIFE. PRL Research Report 13, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France, 1991."},{"key":"22_CR8","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1984","unstructured":"William F. Clocksin and Christopher S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, Germany, 2nd edition, 1984.","edition":"2nd edition"},{"key":"22_CR9","unstructured":"Jochen D\u00f6rre and William C. Rounds. On subsumption and semiunification in feature algebras. In Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science (Philadelphia, PA), pages 301\u2013310, Washington, DC, 1990. IEEE, Computer Society Press."},{"key":"22_CR10","series-title":"LILOG Report","volume-title":"Definite relations over constraint languages","author":"M. H\u00f6hfeld","year":"1988","unstructured":"Markus H\u00f6hfeld and Gert Smolka. Definite relations over constraint languages. LILOG Report 53, IWBS, IBM Deutschland, Stuttgart, Germany, October 1988, To appear in the Journal of Logic Programming."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, W. Germany, January 1987.","DOI":"10.1145\/41625.41635"},{"key":"22_CR12","volume-title":"The Craft of Prolog","author":"R. O'Keefe","year":"1990","unstructured":"Richard O'Keefe. The Craft of Prolog. MIT Press, Cambridge, MA, 1990."},{"key":"22_CR13","series-title":"LILOG Report","volume-title":"A feature logic with subsorts","author":"G. Smolka","year":"1988","unstructured":"Gert Smolka. A feature logic with subsorts. LILOG Report 33, IWBS, IBM Deutschland, Stuttgart, Germany, May 1988."},{"key":"22_CR14","series-title":"IWBS Report","volume-title":"Feature constraint logics for unification grammars","author":"G. Smolka","year":"1989","unstructured":"Gert Smolka. Feature constraint logics for unification grammars. IWBS Report 93, IWBS, IBM Deutschland, Stuttgart, Germany, November 1989. To appear in Journal of Logic Programming."}],"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_104.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:21:56Z","timestamp":1619572916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_104","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}