Intersection Checking for Regular Expressions Based on Inference System
LIU Jia, LIAO Husheng
Journal of Frontiers of Computer Science and Technology . 2015, (1): 43 -50 .  DOI: 10.3778/j.issn.1673-9418.1407042