TY  - JOUR
AU  - Gergely Kovásznai
AU  - Gábor Kusper
TI  - Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux
JO  - Annales mathematicae et informaticae
PY  - 2009
SP  - 85
EP  - 101
VL  - 36
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMI_2009_36_a8/
LA  - en
ID  - AMI_2009_36_a8
ER  -