1. College of Computer Science and TechnologyJilin University Changchun China
2. Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education Changchun China
3. Department of Computer and Information SciencesTemple University Philadelphia