Designing Examples for Semantically Guided Hierarchical Deduction. - Tie-Cheng Wang (IJCAI, 1985)

ECR: An Equality Conditional Resolution Proof Procedure. - Tie-Cheng Wang (CADE, 1986)

SHD-Prover at University of Texas at Austin. - Tie-Cheng Wang (CADE, 1986)

Case Studies of Z-Module Reasoning: Proving Benchmark Theorems from Ring Theory. - Tie-Cheng Wang (J. Autom. Reason., 1987)

Hierarchical Deduction. - Tie-Cheng Wang; W. W. Bledsoe (J. Autom. Reason., 1987)

Elements of Z-Module Reasoning. - Tie-Cheng Wang (CADE, 1988)

Toward reliable reactive systems. - Limei Gilham; Allen Goldberg; Tie-Cheng Wang (IWSSD, 1989)

Solving Open Problems in Right Alternative Rings with Z-Module Reasoning. - Tie-Cheng Wang; Rick Stevens (J. Autom. Reason., 1989)

A mechanical verifier for supporting the design of reliable reactive systems. - Tie-Cheng Wang; Allen Goldberg (ISSRE, 1991)

RVF: An Automated Formal Verification System. - Tie-Cheng Wang; Allen Goldberg (CADE, 1992)

Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms. - Tie-Cheng Wang (J. ACM, 1993)

KITP-93: An Automated Inference System for Program Analysis. - Tie-Cheng Wang; Allen Goldberg (CADE, 1994)

Applications of Feasible Path Analysis to Program Testing. - Allen Goldberg; Tie-Cheng Wang; David Zimmerman (ISSTA, 1994)

A Typed Resolution Principle for Deduction with Conditional Typing Theory. - Tie-Cheng Wang (Artif. Intell., 1995)

Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning. - Tie-Cheng Wang; Allen Goldberg (FroCoS, 1998)