{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:26Z","timestamp":1725663686419},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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_106","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:50:03Z","timestamp":1330210203000},"page":"287-298","source":"Crossref","is-referenced-by-count":1,"title":["Compilation of predicate abstractions in higher-order logic programming"],"prefix":"10.1007","author":[{"given":"Weidong","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David Scott","family":"Warren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"3","key":"24_CR1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"K.R. Apt and M.H. van Emden. Contributions to the theory of logic programming. JACM, 29(3):841\u2013862, July 1982.","journal-title":"JACM"},{"key":"24_CR2","unstructured":"H.P. Barendregt. The Lambda Calculus: Its Syntax and Semantics (Revised Edition). North-Holland Publishing Co., 1984."},{"key":"24_CR3","unstructured":"W. Chen, M. Kifer, and D.S. Warren. HiLog: A first order semantics for higher-order logic programming constructs. In Proc. North American Conference on Logic Programming, October 1989."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"W. Chen and D.S. Warren. Predicate abstractions in higher-order logic programming. Manuscript, March 1991.","DOI":"10.1007\/3-540-54444-5_106"},{"key":"24_CR5","unstructured":"M.H.M. Cheng, M.H. van Emden, and B.E. Richards. On Warren's method for functional programming in logic. In Proc. ICLP, pages 546\u2013560, 1990."},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0304-3975(81)90040-2","volume":"13","author":"W.D. Goldfarb","year":"1981","unstructured":"W.D. Goldfarb. The undecidability of the second-order unification problem. Theoretical Computer Science, 13:225\u2013230, 1981.","journal-title":"Theoretical Computer Science"},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(75)90011-0","volume":"1","author":"G.P. Huet","year":"1975","unstructured":"G.P. Huet. A unification algorithm for typed \u03bb-calculus. TCS, 1:27\u201357, 1975.","journal-title":"TCS"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"G. Nadathur and N. Miller. Higher-order horn clauses. JACM, 37(4), 1990.","DOI":"10.1145\/96559.96570"},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0743-1066(88)90015-5","volume":"5","author":"J. Staples","year":"1988","unstructured":"J. Staples and P.J. Robinson. Efficient unification of quantified terms. Journal of Logic Programming, 5:133\u2013149, 1988.","journal-title":"Journal of Logic Programming"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"A. van Gelder, K.A. Ross, and J.S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In Proc. 7th ACM Symp. on PODS, 1988.","DOI":"10.1145\/308386.308444"},{"key":"24_CR11","first-page":"441","volume":"10","author":"D.H.D. Warren","year":"1982","unstructured":"D.H.D. Warren. Higher-order extensions to Prolog: are they needed? Machine Intelligence, 10:441\u2013454, 1982.","journal-title":"Machine Intelligence"}],"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_106.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:30Z","timestamp":1605646470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_106","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}