Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux. Kovásznai, Gergely; Kusper, Gábor — 2008 Annales Mathematicae et Informaticae
Simplifying the propositional satisfiability problem by sub-model propagation. Kusper, Gábor; Csõke, Lajos; Kovásznai, Gergely — 2008 Annales Mathematicae et Informaticae