@article{PeitlSlivovskySzeider18a,
 author = {Tomáš Peitl and Friedrich Slivovsky and Stefan Szeider},
 doi = {10.1007/s10817-018-9467-3},
 journal = {Journal of Automated Reasoning},
 keywords = {QBF},
 number = {1},
 pages = {127–155},
 pdf = {https://doi.org/10.1007/s10817-018-9467-3},
 title = {Long-Distance {Q}-Resolution with Dependency
Schemes},
 url = {https://doi.org/10.1007/s10817-018-9467-3},
 volume = {63},
 year = {2019}
}