Tableaux Versus Resolution a Comparison.

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

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