| |
| * | 1988 | |
|---|---|---|
| 2 | Franz Oppacher, E. Suen: HARP: A Tableau-Based Theorem Prover. J. Autom. Reasoning 4(1): 69-100 (1988) | |
| 1986 | ||
| 1 | EE | Franz Oppacher, E. Suen: Controlling Deduction with Proof Condensation and Heuristics. CADE 1986: 384-393 |
| 1 | Franz Oppacher | [1] [2] |