Resolution proof systems an algebraic theory - Stachniak, Zbigniew (Dordrecht Kluwer Academic, 1996)
Keywords: Mathematical logic (Symbolic logic)