\begin{slide}{Reverse Unit Propagation}



E.Goldberg, Y.Novikov. 
\emph{Verification of proofs of 
unsatisfiability for CNF formulas.} 
Design, Automation and Test in Europe. 
2003, March 3-7,pp.886-891
\url{http://eigold.tripod.com/papers/proof_verif.pdf}

\end{slide}
