Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.

Kovásznai, Gergely, and Kusper, Gábor. "Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.." Annales Mathematicae et Informaticae 36 (2008): 85-101. <http://eudml.org/doc/232286>.

@article{Kovásznai2008,
author = {Kovásznai, Gergely, Kusper, Gábor},
journal = {Annales Mathematicae et Informaticae},
keywords = {clausal tableaux},
language = {eng},
pages = {85-101},
publisher = {Eszterházy Károly College, Institute of Mathematics and Computer Science},
title = {Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.},
url = {http://eudml.org/doc/232286},
volume = {36},
year = {2008},
}

TY - JOUR
AU - Kovásznai, Gergely
AU - Kusper, Gábor
TI - Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.
JO - Annales Mathematicae et Informaticae
PY - 2008
PB - Eszterházy Károly College, Institute of Mathematics and Computer Science
VL - 36
SP - 85
EP - 101
LA - eng
KW - clausal tableaux
UR - http://eudml.org/doc/232286
ER -