"How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms."

Martin Mundhenk, Robert Zeranski (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics