Stefan Szeider. Matched Formulas and Backdoor Sets. JSAT, 6(1-3):1-12, 2009. [doi]
@article{Szeider09-0, title = {Matched Formulas and Backdoor Sets}, author = {Stefan Szeider}, year = {2009}, url = {http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_1_Szeider.pdf}, researchr = {https://researchr.org/publication/Szeider09-0}, cites = {0}, citedby = {0}, journal = {JSAT}, volume = {6}, number = {1-3}, pages = {1-12}, }