%0 Journal Article
%A Gergely Kovásznai
%A Gábor Kusper
%T Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux
%J Annales mathematicae et informaticae
%D 2009
%P 85-101
%V 36
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMI_2009_36_a8/
%G en
%F AMI_2009_36_a8