{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:34:35Z","timestamp":1736314475178,"version":"3.32.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"6-7","license":[{"start":{"date-parts":[[2006,1,28]],"date-time":"2006-01-28T00:00:00Z","timestamp":1138406400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2006,3,2]]},"DOI":"10.1007\/s00236-005-0004-6","type":"journal-article","created":{"date-parts":[[2006,1,27]],"date-time":"2006-01-27T13:13:29Z","timestamp":1138367609000},"page":"515-539","source":"Crossref","is-referenced-by-count":1,"title":["Equivalences and optimizations in an expressive XSLT subset"],"prefix":"10.1007","volume":"42","author":[{"given":"Alberto","family":"Trombetta","sequence":"first","affiliation":[]},{"given":"Danilo","family":"Montesi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,1,28]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bex, G.J., Maneth, S., Neven, F.: A formal model for an expressive fragment of XSLT. In: Proc. of Int'l Conf. on Computational Logic. London (2000)","DOI":"10.1007\/3-540-44957-4_76"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Boag, S., Chamberlin, D., Fernandez, M.F., Florescu, D., Robie, J., Sim\u00e9on, J.: XQuery 1.0. An XML Query Language. http:\/\/www.w3c.org\/TR\/2003\/WD-xquery-20030502\/ (2003)","DOI":"10.1145\/872757.872877"},{"key":"4_CR3","unstructured":"Bray, T., Paoli, J., Sperberg-MCQueen, C. M., Maler, E.: Extensible Markup Language (XML) Specification 1.0 (second edition). http:\/\/www.w3c.org\/TR\/2000\/REC-xml-20001006 (2000)"},{"key":"4_CR4","unstructured":"Chamberlin, D., Fankhauser, P., Florescu, D., Marchiori, M., Robie, J.: XML Query Use Cases. http:\/\/www.w3c.org\/TR\/2002\/WD-xmlquery-use-cases-20020828\/ (2002)"},{"key":"4_CR5","unstructured":"Clark, J.: XSL Transformations (XSLT). http:\/\/www.w3c.org\/TR\/1999\/REC-xslt-19991 116\/ (1999)"},{"key":"4_CR6","unstructured":"Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree Automata Techniques and Applications, available at http:\/\/www.grappa.univ-lille3.fr\/tata\/ (2002)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Jagadish, H.V., Lakshmanan, L.V.S., Srivastava, D., Thompson, K.: TAX: a tree algebra for XML. In: Proc. of DBPL 2001, pp. 149\u2013164. Rome (2001)","DOI":"10.1007\/3-540-46093-4_9"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Katz, H., Chamberlin, D., Draper, D. et al.: XQuery from the Experts: A Guide to the W3C XML Query Language. Addison Wesley (2003)","DOI":"10.1145\/872757.872877"},{"key":"4_CR9","unstructured":"Kirchner, C., Qian, Z., Singh, P.K., Stuber, J.: Xemantics: a rewriting calculus-based semantics of XSLT. Loria rapport de recherche A01-R-386 (2002)"},{"key":"4_CR10","unstructured":"Liu, J., Vincent, M.: Query translation from XSLT to SQL. In: Proc. IDEAS'03, pp. 87\u201396. Hong Kong (2003)"},{"key":"4_CR11","unstructured":"Tidwell, D.: XSLT. O'Reilly & Associates (2001)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Trombetta, A., Montesi, D.: Equivalences and optimizations in an expressive XSLT fragment. In Proc. IDEAS'04, pp. 171\u2013182. Coimbra (2004)","DOI":"10.1109\/IDEAS.2004.1319790"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Wadler, P.: A Formal Semantics of Patterns in XSLT. Markup Languages. MIT Press (2001)","DOI":"10.1162\/10996620052104302"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0004-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-005-0004-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0004-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T14:06:49Z","timestamp":1736258809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-005-0004-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,28]]},"references-count":13,"journal-issue":{"issue":"6-7","published-print":{"date-parts":[[2006,3,2]]}},"alternative-id":["4"],"URL":"https:\/\/doi.org\/10.1007\/s00236-005-0004-6","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2006,1,28]]}}}