{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:01:15Z","timestamp":1725494475163},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421306"},{"type":"electronic","value":"9783540451440"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45144-7_19","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T15:12:14Z","timestamp":1194966734000},"page":"190-203","source":"Crossref","is-referenced-by-count":5,"title":["Synthesis of Web Sites from High Level Descriptions"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o M. B.","family":"Cavalcanti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Robertson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"key":"19_CR1","series-title":"Technical Report CSRI-323","volume-title":"M.T ransaction Logic Programming","author":"A. J. Bonner","year":"1995","unstructured":"Bonner, A. J.and Kifer, M.T ransaction Logic Programming Technical Report CSRI-323, Computer Systems Research Institute, University of Toronto. November, 1995."},{"key":"19_CR2","series-title":"Technical Report","volume-title":"A.W WW Programming using Computational Logic Systems (and the PiLLoW\/CIAO Library)","author":"D. Cabeza","year":"1997","unstructured":"Cabeza, D.and Hermenegildo, A.W WW Programming using Computational Logic Systems (and the PiLLoW\/CIAO Library). Technical Report, Computer Science Department, Technical University of Madrid, 1997.In: http:\/\/www.clip.dia.fi.upm.es\/miscdocs\/pillow\/pillow.html"},{"key":"19_CR3","unstructured":"Cascading Style Sheets, level 1. W3C Recommendation December 1996, revised January 1999. In http:\/\/www.w3.org\/TR\/REC-CSS1"},{"key":"19_CR4","unstructured":"The Common Gateway Interface. In: http:\/\/hoohoo.ncsa.uiuc.edu\/cgi\/"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, M., Florescu, D., Kang, J., Levy, A. and Suciu, D. Catching the Boat with Strudel: Experience with a A Web-site Management System. In SIGMOD Conference on Management of Data, Seattle, USA, 1998.","DOI":"10.1145\/276304.276341"},{"key":"19_CR6","unstructured":"Fern\u00e1ndez, M., Florescu, D., Levy, A. and Suciu, D. Verifying Integrity Constraints on Web Sites. Proc. of the 16th International Joint Conference on Artificial Intelligence \u2014 IJCAI\u201999.Stockholm, Sweden, 1999."},{"key":"19_CR7","unstructured":"van Harmelen, F. and van der Meer, J. WebMaster: Knowledge-based Verification of Web-pages. In: Proc. of the 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA\/AEI\u201999), Ali, M.and Iman, I. (eds.), Springer Verlag, LNAI, 1999."},{"key":"19_CR8","unstructured":"HTML-Hyper Text Markup Language. W3C-World Wide Web Consortium. In: http:\/\/www.w3.org\/MarkUp\/"},{"key":"19_CR9","volume-title":"Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling","author":"R. D","year":"1999","unstructured":"Robertson, D. and August\u00ec, J. Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling, ACM Press, Addison Wesley Longman, 1999."},{"key":"19_CR10","unstructured":"Extensible Markup Language (XML) 1.0. W3C Recommendation, February 1998. In: http:\/\/www.w3.org\/TR\/1998\/REC-xml-19980210"},{"key":"19_CR11","unstructured":"Extensible Stylesheet Language (XSL) Specification. W3C Working Draft, April 1999. In: http:\/\/www.w3.org\/TR\/WD-xsl\/"},{"key":"19_CR12","unstructured":"Web Style Sheets. In: http:\/\/www.w3.org\/Style\/"}],"container-title":["Lecture Notes in Computer Science","Web Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45144-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T06:39:07Z","timestamp":1556951947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45144-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421306","9783540451440"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45144-7_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}