Geodesic
Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux
Annales mathematicae et informaticae, Tome 36 (2009), pp. 85-101.

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@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/}
}
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  - 
%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
Gergely Kovásznai; Gábor Kusper. Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux. Annales mathematicae et informaticae, Tome 36 (2009), pp. 85-101. http://geodesic.mathdoc.fr/item/AMI_2009_36_a8/