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
Cryptographycal protocols in the Egerfood Information System. Liptai, Kálmán; Kusper, Gábor; Radványi, Tibor — 2007 Annales Mathematicae et Informaticae