{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:31Z","timestamp":1725663331966},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50667-5_68","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:30:09Z","timestamp":1330183809000},"page":"158-167","source":"Crossref","is-referenced-by-count":2,"title":["Functional data term models and semantic unification"],"prefix":"10.1007","author":[{"given":"Hans-Joachim","family":"Goltz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"16_CR1","unstructured":"Clark,K.L.: Predicate Logic as a Computational Formalism. Res. Report 79\/59, Dep. of Computing, Imperial College, 1979."},{"key":"16_CR2","unstructured":"DeGroot,D., G.Lindstrom (eds.): Logic Programming: Functions, Relations and Equations. Prentice Hall 1986."},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0743-1066(87)90002-1","volume":"4","author":"H. Dincbas","year":"1987","unstructured":"Dincbas, H., P. van Hentenryck: Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. J. Logic Programming 4 (1987), 199\u2013227.","journal-title":"J. Logic Programming"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0743-1066(84)90001-3","volume":"1","author":"M.H. Emden van","year":"1984","unstructured":"van Emden, M.H., J.W. Lloyd: A Logical Reconstruction of Prolog II. J. Logic Programming 1 (1984), 143\u2013149.","journal-title":"J. Logic Programming"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0743-1066(87)90006-9","volume":"4","author":"M.H. Emden van","year":"1987","unstructured":"van Emden, M.H., K. Yukawa: Logic Programming with Equations. J. Logic Programming 4 (1987), 265\u2013288.","journal-title":"J. Logic Programming"},{"key":"16_CR6","first-page":"49","volume":"1","author":"H.-J. Goltz","year":"1988","unstructured":"Goltz, H.-J., U. Geske, F. Wysotzki: The Rewrite Approach to Combined Logic and Functional Programming. J. New Generation Computer Science 1 (1988), 49\u201362.","journal-title":"J. New Generation Computer Science"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Huet, G., D. Oppen: Equations and Rewrite Rules: A Survey. In: Formal Language Theory: Perspectives and Open Problems, R. Book (Hrsg.); Academic Press 1980, 349\u2013405.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"16_CR9","unstructured":"Martelli, A., C. Moiso, G.F. Rossi: An Algorithm for Unification in Equational Theories. In: Proc. Symp. on Logic Programming 1986."},{"key":"16_CR10","volume-title":"Equational Logic as a Programming Language","author":"M.J. O'Donnell","year":"1985","unstructured":"O'Donnell, M.J.: Equational Logic as a Programming Language, MIT Press, Cambridge, Mass., 1985."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50667-5_68","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,2]],"date-time":"2019-02-02T06:59:19Z","timestamp":1549090759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50667-5_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540506676","9783540460633"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-50667-5_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}