{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:41Z","timestamp":1725490241009},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442332"},{"type":"electronic","value":"9783540457886"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45788-7_17","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T15:04:02Z","timestamp":1188313442000},"page":"275-289","source":"Crossref","is-referenced-by-count":1,"title":["Structural Abstraction and Application in Logic Programming"],"prefix":"10.1007","author":[{"given":"Ant\u00f3nio","family":"Porto","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Weidong Chen, Michael Kifer, and David S. Warren. HiLog: a foundation for higher-order logic programming. The Journal of Logic Programming, 15(3):187\u2013230, 1993. 279","journal-title":"The Journal of Logic Programming"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Dale A. Miller and Gopalan Nadathur. Higher-order logic programming. In G. Goos and J. Hartmanis, editors, Third International Conference on Logic Programming, Proceedings, pages 448\u2013462. Springer, 1986. 276, 277","DOI":"10.1007\/3-540-16492-8_94"},{"key":"17_CR3","unstructured":"Gopalan Nadathur and Dale A. Miller. An overview of \u03bbPROLOG. In Robert A. Kowalski and Kenneth A. Bowen, editors, Fifth International Conference on Logic Programming, Proceedings, volume 2, pages 810\u2013827. MIT Press, 1988. 276, 277"},{"key":"17_CR4","first-page":"319","volume-title":"The Changing Universities: The Challenge of New Technologies, Eunis 2002, The 8th International Conference of European University Information Systems, Proceedings","author":"A. Porto","year":"2002","unstructured":"Ant\u00f3nio Porto. Towards fully integrated information services. In L\u00edgia Maria Ribeiro and Jos\u00e9 Marques dos Santos, editors, The Changing Universities: The Challenge of New Technologies, Eunis 2002, The 8th International Conference of European University Information Systems, Proceedings, pages 319\u2013324. FEUP edi\u00e7\u00f5es, Universityof Porto, Portugal, 2002. 275, 276, 277, 282, 284, 288"},{"key":"17_CR5","unstructured":"D. H. Warren. Higher-order extensions to PROLOG: are they needed? In J.E. Hayes, Donald Michie, and Y-H. Pao, editors, Machine Intelligence 10, pages 441\u2013454. Ellis Horwood, 1982. 275, 276, 277"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45788-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:11:16Z","timestamp":1556817076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45788-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442332","9783540457886"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-45788-7_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}