%0 Journal Article
%A Štěpán, Jan
%T Propositional calculus proving methods in Prolog
%J Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
%D 1990
%P 301-321
%V 29
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AUPO_1990__29_1_a18/
%G en
%F AUPO_1990__29_1_a18