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

Tableaux Versus Resolution a Comparison. - W. M. J. Ophelders; Harrie C. M. de Swart (Fundam. Informaticae, 1993)

Tableaux, resolution, and complexity of formulas. - Harrie C. M. de Swart; W. M. J. Ophelders (Methods Log. Comput. Sci., 1994)