Implicit induction in conditional theories Adel BouhoulaMichaƫl Rusinowitch OriginalPaper Pages: 189 - 235
Automated production of traditional proofs in solid geometry Shang-Ching ChouXiao-Shan GaoJing-Zhong Zhang OriginalPaper Pages: 257 - 291
A path ordering for proving termination of AC rewrite systems Deepak KapurG. SivakumarHantao Zhang OriginalPaper Pages: 293 - 316
SATCHMORE: SATCHMO with RElevancy Donald W. LovelandDavid W. ReedDebra S. Wilson OriginalPaper Pages: 325 - 351