| 2000 | ||
|---|---|---|
| 11 | EE | Xumin Nie, Qing Guo: Renaming a Set of Non-Horn Clauses. J. Comput. Sci. Technol. 15(5): 409-415 (2000) |
| 1997 | ||
| 10 | Xumin Nie, Qing Guo: Renaming a Set of Non-Horn Clauses. ISMIS 1997: 600-608 | |
| 9 | EE | Xumin Nie: Non-Horn Clause Logic Programming. Artif. Intell. 92(1-2): 243-258 (1997) |
| 1994 | ||
| 8 | Deepak Kapur, Xumin Nie, David R. Musser: An Overview of the Tecton Proof System. Theor. Comput. Sci. 133(2): 307-339 (1994) | |
| 1992 | ||
| 7 | Deepak Kapur, David R. Musser, Xumin Nie: The Tecton Proof System. Formal Methods in Databases and Software Engineering 1992: 54-79 | |
| 6 | Xumin Nie, David A. Plaisted: A Semantic Backward Chaining Proof System. Artif. Intell. 55(1): 109-128 (1992) | |
| 1991 | ||
| 5 | Xumin Nie: How Well Are Non-Horn Clauses Handled? ISMIS 1991: 580-588 | |
| 4 | Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie: The Tecton Proof System. RTA 1991: 442-444 | |
| 1990 | ||
| 3 | Xumin Nie, David A. Plaisted: A Complete Semantic Back Chaining Proof System. CADE 1990: 16-27 | |
| 2 | Xumin Nie, David A. Plaisted: Experimental Results on Subgoal Reordering. IEEE Trans. Computers 39(6): 845-848 (1990) | |
| 1989 | ||
| 1 | Xumin Nie, David A. Plaisted: Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving. Artif. Intell. 41(2): 223-235 (1989) | |
| 1 | Raj Agarwal | [4] |
| 2 | Qing Guo | [10] [11] |
| 3 | Deepak Kapur | [4] [7] [8] |
| 4 | David R. Musser | [4] [7] [8] |
| 5 | David A. Plaisted | [1] [2] [3] [6] |
Colors in the list of coauthors