Constraint Checking for XML-Based Language Specification by SAT Solver | IEEE Conference Publication | IEEE Xplore