Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving. - Xumin Nie; David A. Plaisted (Artif. Intell., 1989)

A Complete Semantic Back Chaining Proof System. - Xumin Nie; David A. Plaisted (CADE, 1990)

Experimental Results on Subgoal Reordering. - Xumin Nie; David A. Plaisted (IEEE Trans. Computers, 1990)

How Well Are Non-Horn Clauses Handled? - Xumin Nie (ISMIS, 1991)

The Tecton Proof System. - Raj Agarwal; David R. Musser; Deepak Kapur; Xumin Nie (RTA, 1991)

The Tecton Proof System. - Deepak Kapur; David R. Musser; Xumin Nie (Formal Methods in Databases and Software Engineering, 1992)

A Semantic Backward Chaining Proof System. - Xumin Nie; David A. Plaisted (Artif. Intell., 1992)

An Overview of the Tecton Proof System. - Deepak Kapur; Xumin Nie; David R. Musser (Theor. Comput. Sci., 1994)

Non-Horn Clause Logic Programming. - Xumin Nie (Artif. Intell., 1997)

Extending STL with efficient data structures. - Hong Wu; Xumin Nie (J. Comput. Sci. Technol., 1998)

Renaming a Set of Non-Horn Clauses. - Xumin Nie; Qing Guo (J. Comput. Sci. Technol., 2000)