{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:31Z","timestamp":1725663031004},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164920"},{"type":"electronic","value":"9783540398318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16492-8_93","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:48:57Z","timestamp":1330195737000},"page":"433-447","source":"Crossref","is-referenced-by-count":5,"title":["Procedures in Horn-clause programming"],"prefix":"10.1007","author":[{"given":"M. A. Nait","family":"Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"33_CR1","unstructured":"Bowen K.A. and Kowalski R.A.: Amalgamating language and metalanguage, in Logic Programming, K.L. Clark and T.-S. Taernlund ed, Academic Press (1982), pp 153\u2013172"},{"key":"33_CR2","unstructured":"de Bruijn N.G.: A survey of the project Automath, in To H.B. Curry Essays on Combinatory Logic, Lambda-Calculus and Formalism, J.R. Hindley and J.P. Seldin eds, Academic Press (1980), pp.597\u2013607"},{"key":"33_CR3","first-page":"56","volume":"5","author":"A. Church","year":"1940","unstructured":"Church A.: A formulation of the simple theory of types, JSL Vol 5 (1940), pp 56\u201368","journal-title":"JSL"},{"key":"33_CR4","unstructured":"Colmerauer A.: Prolog and infinite trees, in Logic Programming, K.L. Clark and S.-A. Taernlund ed, Academic Press (1982),pp. 153\u2013172"},{"key":"33_CR5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0304-3975(81)90040-2","volume":"13","author":"W.G. Goldfarb","year":"1981","unstructured":"Goldfarb W.G.: The undecidability of the second-order unification problem, TCS 13 (1981), pp. 225\u2013230","journal-title":"TCS"},{"issue":"3","key":"33_CR6","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/S0019-9958(73)90301-X","volume":"22","author":"G. Huet","year":"1973","unstructured":"Huet G.: The undecidability of unification in third order logic, Information and Control 22, 3 (1973) pp. 257\u2013267","journal-title":"Information and Control"},{"key":"33_CR7","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(76)90021-9","volume":"3","author":"D.C. Jensen","year":"1976","unstructured":"Jensen D.C. and Pietrzykowski T.: Mechanizing \u03c9-order type theory through unification, TCS 3, (1976), pp. 123\u2013171","journal-title":"TCS"},{"key":"33_CR8","unstructured":"Kowalski R.A.: Predicate logic as programming language, IFIP 1974, North Holland (1974), pp. 569\u2013574"},{"key":"33_CR9","unstructured":"Lucchesi C.L.: The undecidability of the unification problem for third order languages, report CSRR-2059, Dep. of Appl. Anal. and CS, University of Waterloo (1972)"},{"key":"33_CR10","first-page":"60","volume":"210","author":"M.-A. Nait Abdallah","year":"1986","unstructured":"Nait Abdallah M.-A.: Ions and local definitions in logic programming, in Theoretical Aspects of Computer Science, B. Monien and G. Vidal-Naquet eds, Springer LNCS 210, (1986), pp. 60\u201372","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Third International Conference on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16492-8_93.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:04:59Z","timestamp":1619557499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}