"Applying SAT Methods in Unbounded Symbolic Model Checking."

Kenneth L. McMillan (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics