%0 Journal Article
%A Tuza, Zsolt
%T Theorem proving through depth-first test
%J Acta Universitatis Carolinae. Mathematica et Physica
%D 1992
%P 135-141
%V 33
%N 2
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/AUCMP_1992__33_2_a17/
%G en
%F AUCMP_1992__33_2_a17