TY  - JOUR
AU  - Štěpán, Jan
TI  - Automated theorem proving in monadic predicate calculus
JO  - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY  - 1991
SP  - 273
EP  - 283
VL  - 30
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AUPO_1991__30_1_a21/
LA  - en
ID  - AUPO_1991__30_1_a21
ER  -