Another tableau based automated theorem prover for classical logic.

Fri, 01 Jan 1988 00:00:00 +0100

Harrie C. M. de Swart, W. M. J. Ophelders:
Another tableau based automated theorem prover for classical logic. Bull. EATCS 35: 185-197 (1988)