Tuza, Zsolt. "Theorem proving through depth-first test." Acta Universitatis Carolinae. Mathematica et Physica 033.2 (1992): 135-141. <http://eudml.org/doc/196794>.
@article{Tuza1992, author = {Tuza, Zsolt}, journal = {Acta Universitatis Carolinae. Mathematica et Physica}, keywords = {theorem proving; depth-first test; satisfiability; graph coloring; depth- first search}, language = {eng}, number = {2}, pages = {135-141}, publisher = {Charles University in Prague}, title = {Theorem proving through depth-first test}, url = {http://eudml.org/doc/196794}, volume = {033}, year = {1992}, }
TY - JOUR AU - Tuza, Zsolt TI - Theorem proving through depth-first test JO - Acta Universitatis Carolinae. Mathematica et Physica PY - 1992 PB - Charles University in Prague VL - 033 IS - 2 SP - 135 EP - 141 LA - eng KW - theorem proving; depth-first test; satisfiability; graph coloring; depth- first search UR - http://eudml.org/doc/196794 ER -