Gabor Kusper,
"Solving the resolution-free SAT problem by submodel propagation in linear time"
, in Annals of Mathematics and Artificial Intelligence, Vol. 43, Nummer 1-4, Kluwer Academic Publishers, Seite(n) 129-136, 2005, ISSN: 1573-7470
Original Titel:
Solving the resolution-free SAT problem by submodel propagation in linear time