@article{AMI_2009_36_a8,
     author = {Gergely Kov\'asznai and G\'abor Kusper},
     title = {Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux},
     journal = {Annales mathematicae et informaticae},
     pages = {85--101},
     publisher = {mathdoc},
     volume = {36},
     year = {2009},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AMI_2009_36_a8/}
}