1. On the graph traversal method for evaluating linear binary-chain programs;Science in China Series E: Technological Sciences;1999-06
2. Graph traversal and top-down evaluation of logic queries;Journal of Computer Science and Technology;1998-07
3. Counting and topological order;Journal of Computer Science and Technology;1997-11
4. Magic sets revisited;Journal of Computer Science and Technology;1997-07
5. Efficient execution of recursive queries through controlled binding propagation;Lecture Notes in Computer Science;1994