@inproceedings{PeitlSlivovskySzeider16,
 author = {Tom\'{a}\v{s} Peitl and Friedrich Slivovsky and Stefan Szeider},
 booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
 doi = {10.1007/978-3-319-40970-2_31},
 editor = {Nadia Creignou and
Daniel Le Berre},
 keywords = {QBF},
 pages = {500--518},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Long Distance {Q}-Resolution with Dependency Schemes},
 url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-17-003.pdf},
 volume = {9710},
 year = {2016}
}