@inproceedings{DeHaanSzeider14b,
 author = {de Haan, Ronald and
Stefan Szeider},
 booktitle = {Theory and Applications of Satisfiability Testing -
{SAT} 2014 - 17th International Conference, Held as
Part of the Vienna Summer of Logic, {VSL} 2014,
Vienna, Austria, July 14-17, 2014. Proceedings},
 doi = {10.1007/978-3-319-09284-3_8},
 editor = {Uwe Egly and Carsten Sinz},
 pages = {85-102},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Fixed-Parameter Tractable Reductions to {SAT}},
 url = {http://www.kr.tuwien.ac.at/research/reports/rr1404.pdf},
 volume = {8561},
 year = {2014}
}