A Tableau-Based Theorem Prover (1988)

by F Oppacher, E Suen, HARP
Venue:Journal of Automated Reasoning