TY  - JOUR
AU  - Štěpán, Jan
TI  - Propositional calculus proving methods in Prolog
JO  - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY  - 1990
SP  - 301
EP  - 321
VL  - 29
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AUPO_1990__29_1_a18/
LA  - en
ID  - AUPO_1990__29_1_a18
ER  -