Branch-and-Cut Solution of Inference Problems in Propositional Logic. - John N. Hooker; C. Fedjiki (Ann. Math. Artif. Intell., 1990)