A proof Procedure for Testing Membership in Regular Expressions - Keehang Kwon; Hong Pyo Ha; Jiseung Kim 004 (CoRR, 2010)