1. On the graph traversal and linear binary-chain programs;IEEE Transactions on Knowledge and Data Engineering;2003-05
2. On the graph traversal method for evaluating linear binary-chain programs;Science in China Series E: Technological Sciences;1999-06
3. Graph traversal and top-down evaluation of logic queries;Journal of Computer Science and Technology;1998-07
4. Counting and topological order;Journal of Computer Science and Technology;1997-11
5. Magic sets revisited;Journal of Computer Science and Technology;1997-07