Authors: KERBER M PRACKLEIN Z

Citation: M. Kerber et Z. Pracklein, USING TACTICS TO REFORMULATE FORMULAS FOR RESOLUTION THEOREM-PROVING, Annals of mathematics and artificial intelligence, 18(2-4), 1996, pp. 221-241