Semantic tableau as a framework for automated theorem proving (1987)

by S V Reeves