@inproceedings{NishimuraRagdeSzeider04-informal,
 author = {Naomi Nishimura and Prabhakar Ragde and Stefan Szeider},
 booktitle = {Proceedings of  SAT 2004 (Seventh International
Conference on Theory and Applications of Satisfiability 
Testing, 10-13 May, 2004, Vancouver, BC, Canada)},
 gsid = {https://scholar.google.com/scholar?oi=bibs&hl=en&cites=18058848128221922885&as_sdt=5},
 pages = {96-103},
 title = {Detecting Backdoor Sets with Respect to {Horn} and Binary
Clauses},
 url = {http://www.satisfiability.org/SAT04/programme/51.pdf},
 year = {2004}
}