A tableau-based theorem prover (1988)

by F Oppacher, E Suen, HARP
Venue:Analytic Cut Trees