Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.
Kovásznai, Gergely ; Kusper, Gábor
Annales Mathematicae et Informaticae, Tome 36 (2008), p. 85-101 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 2008-01-01
EUDML-ID : urn:eudml:doc:232286 
@article{05770442,
     title = {Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.},
     journal = {Annales Mathematicae et Informaticae},
     volume = {36},
     year = {2008},
     pages = {85-101},
     zbl = {1212.68082},
     language = {en},
     url = {http://dml.mathdoc.fr/item/05770442}
}

Kovásznai, Gergely; Kusper, Gábor. Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.. Annales Mathematicae et Informaticae, Tome 36 (2008) pp. 85-101. http://gdmltest.u-ga.fr/item/05770442/