HARP: A tableau—based theorem prover (1988)

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