@inproceedings{SlivovskySzeider14,
 author = {Friedrich Slivovsky 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_21},
 editor = {Carsten Sinz and
Uwe Egly},
 pages = {269--284},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Variable Dependencies and Q-Resolution},
 volume = {8561},
 year = {2014}
}