{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:40:17Z","timestamp":1737362417819,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003892"},{"type":"electronic","value":"9783540363880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36388-2_19","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T09:50:36Z","timestamp":1186825836000},"page":"273-285","source":"Crossref","is-referenced-by-count":5,"title":["Type-Based XML Processing in Logic Programming"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Coelho","sequence":"first","affiliation":[]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Noga Alon, Tova Milo, Frank Neven, Dan Suciu, and Victor Vianu. XML with data values: Typechecking revisited. In PODS, 2001.","key":"19_CR1","DOI":"10.1145\/375551.375570"},{"doi-asserted-by":"crossref","unstructured":"H. Boley. Relationships between logic programming and XML. In Proc. 14th Workshop Logische Programmierung, 2000.","key":"19_CR2","DOI":"10.1007\/3-540-45408-X_21"},{"unstructured":"Fran ois Bry and Norbert Eisinger. Data modeling with markup languages: A logic programming perspective. In 15th Workshop on Logic Programming and Constraint Systems, WLP 2000, Berlin, 2000.","key":"19_CR3"},{"unstructured":"Fran ois Bry and Sebastian Schaffert. Towards a declarative query and transformation language for XML and semistructured data: simulation unification. In Proc. of the 2002 International Conference on Logic Programming, 2002.","key":"19_CR4"},{"issue":"3","key":"19_CR5","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1017\/S147106840100117X","volume":"1","author":"D. Cabeza","year":"2001","unstructured":"D. Cabeza and M. Hermenegildo. Distributed WWW Programming using Ciao-Prolog and the PiLLoW Library. Theory and Practice of Logic Programming, 1(3):251\u2013282, May 2001.","journal-title":"Theory and Practice of Logic Programming"},{"unstructured":"P. Dart and J. Zobel. A regular type language for logic programs. In Frank Pfenning, editor, Types in Logic Programming. The MIT Press, 1992.","key":"19_CR6"},{"unstructured":"M. Florido and L. Damas. Types as theories. In Proc. of post-conference workshop on Proofs and Types, Joint International Conference and Symposium on Logic Programming, 1992.","key":"19_CR7"},{"unstructured":"J.P. Gallagher and D.A. de Waal. Fast and precise regular approximation of logic programs. In Proceedings of the Eleventh International Conference on Logic Programming, 1993.","key":"19_CR8"},{"key":"19_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Xduce: A typed XML processing language","author":"H. Hosoya","year":"2000","unstructured":"Haruo Hosoya and Benjamin Pierce. Xduce: A typed XML processing language. In Third International Workshop on the Web and Databases (WebDB2000), volume 1997 of Lecture Notes in Computer Science, 2000."},{"doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, {esecond edition}, 1987.","key":"19_CR10","DOI":"10.1007\/978-3-642-83189-8"},{"doi-asserted-by":"crossref","unstructured":"Lunjin Lu. On Dart-Zobel algorithm for testing regular type inclusion. In SIGPLAN Notices Volume 36, 2001.","key":"19_CR11","DOI":"10.1145\/609769.609782"},{"doi-asserted-by":"crossref","unstructured":"T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In ACM Symposium on Principles of Database Systems, 2000.","key":"19_CR12","DOI":"10.1145\/335168.335171"},{"unstructured":"P. Mishra. Towards a theory of types in Prolog. In Proc. of the 1984 International Symposium on Logic Programming, 1984.","key":"19_CR13"},{"unstructured":"Leon Sterling and Ehud Shapiro. The Art of Prolog, 2nd edition. The MIT Press, 1994.","key":"19_CR14"},{"doi-asserted-by":"crossref","unstructured":"Dan Suciu. Typechecking for semistructured data. In International Workshop on Database Programming, 2001.","key":"19_CR15","DOI":"10.1007\/3-540-46093-4_1"},{"unstructured":"J.W. Thatcher. Tree automata: An informal survey. Prentice-Hall, 1973.","key":"19_CR16"},{"doi-asserted-by":"crossref","unstructured":"Malcom Wallace and Colin Runciman. Haskell and XML: Generic combinators or type-based translation? In International Conference on Functional Programming, 1999.","key":"19_CR17","DOI":"10.1145\/317636.317794"},{"doi-asserted-by":"crossref","unstructured":"E. Yardeni and E. Shapiro. A type system for logic programs. In The Journal of Logic Programming, 1990.","key":"19_CR18","DOI":"10.1016\/0743-1066(91)80002-U"},{"unstructured":"Justin Zobel. Derivation of polymorphic types for prolog programs. In Proc. of the 1987 International Conference on Logic Programming, pages 817\u2013838, 1987.","key":"19_CR19"},{"unstructured":"Justin Zobel. Analysis of Logic Programs. PhD thesis, Department of Computer Science, University of Melbourne, 1990.","key":"19_CR20"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36388-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:02:48Z","timestamp":1737360168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36388-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,16]]},"ISBN":["9783540003892","9783540363880"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-36388-2_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002,12,16]]}}}