%0 Journal Article
%A Štěpán, Jan
%T Automated theorem proving in monadic predicate calculus
%J Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
%D 1991
%P 273-283
%V 30
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AUPO_1991__30_1_a21/
%G en
%F AUPO_1991__30_1_a21