Verification of propositional formulae by means of convex and concave transforms / Hans van Maaren, Jan Friso Groote and Michiel Rozema
Verification of propositional formulae by means of convex and concave transforms