An Approximate Linear Time Propagate and Divide Theorem Prover for Propositional Logic. - Robert M. Haralick; Sheau-Huei Wu (Int. J. Pattern Recognit. Artif. Intell., 1987)