TY  - JOUR
AU  - Tuza, Zsolt
TI  - Theorem proving through depth-first test
JO  - Acta Universitatis Carolinae. Mathematica et Physica
PY  - 1992
SP  - 135
EP  - 141
VL  - 33
IS  - 2
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/AUCMP_1992__33_2_a17/
LA  - en
ID  - AUCMP_1992__33_2_a17
ER  -