biXid: A bidirectional transformation language for XMLShinya KawanakaHaruo Hosoya2006ACM SIGPLAN Notices
Boolean operations and inclusion test for attribute-element constraintsHaruo HosoyaMakoto Murata2006Theoretical Computer Science