| |
| 1992 | ||
|---|---|---|
| 4 | Art Quaife: Automated Deduction in von Neumann-Bernays-Gödel Set Theory. J. Autom. Reasoning 8(1): 91-147 (1992) | |
| 1991 | ||
| 3 | Art Quaife: Unsolved Problems in Elementary Number Theory. J. Autom. Reasoning 7(2): 287-300 (1991) | |
| 1989 | ||
| 2 | Art Quaife: Automated Development of Tarski's Geometry. J. Autom. Reasoning 5(1): 97-118 (1989) | |
| 1988 | ||
| 1 | Art Quaife: Automated Proofs of Löb's Theorem and Gödel's Two Incompleteness Theorems. J. Autom. Reasoning 4(2): 219-231 (1988) | |