Kazuhiro Inaba, Haruo Hosoya. MTran: An XML Transformation Language Based on Monadic Second Order Logic. In PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007. pages 91-92, 2007. [doi]
@inproceedings{InabaH07a,
title = {MTran: An XML Transformation Language Based on Monadic Second Order Logic},
author = {Kazuhiro Inaba and Haruo Hosoya},
year = {2007},
url = {http://www.plan-x-2007.org/plan-x-2007.pdf},
tags = {rule-based, XML, XML Schema, transformation language, logic, higher-order transformations, transformation},
researchr = {https://researchr.org/publication/InabaH07a},
cites = {0},
citedby = {0},
pages = {91-92},
booktitle = {PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007},
}