Iterative n-Literal Rule for Solving Satisfiability Problems. - Juan Frausto Solís; Olga Leticia Prado-de-la-Paz; Rafael Rivera-López (Res. Comput. Sci., 2003)