{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:54Z","timestamp":1725565434095},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_10","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T04:07:17Z","timestamp":1284350837000},"page":"91-103","source":"Crossref","is-referenced-by-count":0,"title":["Extensional Higher-Order Logic Programming"],"prefix":"10.1007","author":[{"given":"Angelos","family":"Charalambidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Handjopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos","family":"Rondogiannis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William W.","family":"Wadge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science III. Clarendon Press, Oxford (1994) (expanded version)","DOI":"10.1093\/oso\/9780198537625.001.0001"},{"key":"10_CR2","unstructured":"Bezem, M.: Extensionality of Simply Typed Logic Programs. In: International Conference on Logic Programming (ICLP), pp. 395\u2013410 (1999)"},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W.C. Chen","year":"1993","unstructured":"Chen, W.C., Kifer, M., Warren, D.S.: HILOG: A Foundation for Higher-Order Logic Programming. J. of Logic Programming\u00a015(3), 187\u2013230 (1993)","journal-title":"J. of Logic Programming"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Shan, C.C., Friedman, D.P., Sabry, A.: Backtracking, Interleaving, and Terminating Monad Transformers. In: International Conference on Functional Programming (ICFP), pp. 192\u2013203 (2005)","DOI":"10.1145\/1086365.1086390"},{"key":"10_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"10_CR6","first-page":"499","volume-title":"Handbook of Logics for Artificial Intelligence and Logic Programming","author":"G. Nadathur","year":"1998","unstructured":"Nadathur, G., Miller, D.: Higher-Order Logic Programming. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logics for Artificial Intelligence and Logic Programming, pp. 499\u2013590. Clarendon Press, Oxford (1998)"},{"key":"10_CR7","unstructured":"Wadge, W.W.: Higher-Order Horn Logic Programming. In: Proceedings of the International Symposium on Logic Programming, pp. 289\u2013303 (1991)"},{"key":"10_CR8","first-page":"441","volume":"10","author":"D.H.D. Warren","year":"1982","unstructured":"Warren, D.H.D.: Higher-Order Extensions to Prolog: are they needed? Machine Intelligence\u00a010, 441\u2013454 (1982)","journal-title":"Machine Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T09:25:22Z","timestamp":1711790722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}