M. Heule, M. Järvisalo, F. Lonsing, M. Seidl, A. Biere:
"Clause Elimination for SAT and QSAT";
Journal of Artificial Intelligence Research,
53
(2015),
127
- 168.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)