W. M. J. Ophelders Harrie C. M. de Swart Tableaux Versus Resolution a Comparison. 109-127 1993 18 Fundam. Inform. db/journals/fuin/fuin18.html#OpheldersS93