Jo Coldwell Graham Wrightson Analytic Tableaux and Model Elimination. 1-11 1998 30 Australian Computer Journal 1 db/journals/acj/acj30.html#ColdwellW98