Boolean operations and inclusion test for attribute-element constraints (2003)

by Haruo Hosoya
Venue:In Eighth International Conference on Implementation and Application of Automata