Tableaux, resolution, and complexity of formulas.

Sat, 01 Jan 1994 00:00:00 +0100

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