@article{SlivovskySzeider16,
 author = {Friedrich Slivovsky and
Stefan Szeider},
 doi = {10.1016/j.tcs.2015.10.020},
 journal = {Theoretical Computer Science},
 pages = {83--101},
 title = {Soundness of {Q-resolution} with dependency schemes},
 url = {http://dx.doi.org/10.1016/j.tcs.2015.10.020},
 volume = {612},
 year = {2016}
}