Parthenon: A parallel theorem prover for non-horn clauses Soumitra BoseEdmund M. ClarkeSpiro Michaylov OriginalPaper Pages: 153 - 181
The linked inference principle, I: The formal treatment Robert VeroffLarry Wos OriginalPaper Pages: 213 - 274
An integral theorem prover and the role of proof planning James D. BakerShahriar Zand-Biglari OriginalPaper Pages: 275 - 295
The problem of choosing between using and avoiding equality predicates Larry Wos Basic Research Problem Pages: 307 - 309