. (2007). A DPLL Algorithm with Literal Renaming Strategy.
            <i>Journal of Information and Computing Science</i>. <i>2</i> (4).
            281-287.
         doi: