{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:28:59Z","timestamp":1737437339766,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540669920"},{"type":"electronic","value":"9783540465843"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46584-7_10","type":"book-chapter","created":{"date-parts":[[2007,9,17]],"date-time":"2007-09-17T18:28:04Z","timestamp":1190053684000},"page":"141-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Logic-Based Information System"],"prefix":"10.1007","author":[{"given":"Salvador","family":"Pinto Abreu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,1,28]]},"reference":[{"unstructured":"Grady Booch, Jim Rumbaugh, and Ivar Jacobson. Unified Modeling Language User Guide. Addison Wesley, December 1997. ISBN: 0-201-57168-4. See URL http:\/\/www.awl.com\/cp\/uml\/uml.html .","key":"10_CR1"},{"unstructured":"Daniel Diaz. GNU prolog. URL http:\/\/pauillac.inria.fr\/~diaz\/gnu-prolog\/ , 1999.","key":"10_CR2"},{"unstructured":"Sun Microsystems. The Java Foundation Classes. URL http:\/\/java.sun.com\/products\/jfc\/tsc\/index.html .","key":"10_CR3"},{"doi-asserted-by":"crossref","unstructured":"Lu\u00eds Monteiro and Ant\u00f3nio Porto. A Language for Contextual Logic Programming. In K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten, editors, Logic Programming Languages: Constraints, Functions and Objects, pages 115\u2013147. MIT Press, 1993.","key":"10_CR4","DOI":"10.7551\/mitpress\/4313.003.0008"},{"unstructured":"PHP hypertext processor. URL http:\/\/www.php.net\/ .","key":"10_CR5"},{"unstructured":"PostgreSQL www site. URL http:\/\/www.postgresql.org\/ .","key":"10_CR6"},{"unstructured":"L\u00edgia Maria Ribeiro, Gabriel David, Ana Azevedo, and Jos\u00e9 Marques dos Santos. Developing an information system at the engineering faculty of porto university. In Proceedings of the EUNIS\u201997 \u2014 European Cooperation in Higher Education Information Systems, 1997.","key":"10_CR7"},{"unstructured":"Ana Gra\u00e7a Silva and M\u00e1rio Filipe. O Sistema Inform\u00e0tico dos Servi\u00e7os Acad\u00e9micos da Universidade de \u00e9vora. Technical Report, Universidade de \u00e9vora, 1998. (in Portuguese).","key":"10_CR8"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46584-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T01:10:55Z","timestamp":1737421855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46584-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540669920","9783540465843"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-46584-7_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"28 January 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}