@inproceedings{JainBC06, author = {Himanshu Jain and Constantinos Bartzis and Edmund M. Clarke}, title = {Satisfiability Checking of Non-clausal Formulas Using General Matings.}, booktitle = {Theory and Applications of Satisfiability Testing (SAT)}, year = {2006}, pages = {75-89}, }