@inproceedings{SlivovskySzeider12,
 author = {Friedrich Slivovsky and Stefan Szeider},
 booktitle = {Theory and Applications of Satisfiability Testing -
SAT 2012 - 15th International Conference, Trento,
Italy, June 17-20, 2012. Proceedings},
 doi = {10.1007/978-3-642-31612-8_6},
 editor = {Alessandro Cimatti and Roberto Sebastiani},
 pages = {58-71},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Computing Resolution-Path Dependencies in Linear
Time},
 volume = {7317},
 year = {2012}
}