Propositional calculus proving methods in Prolog Jan Štěpán — 1990 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Automated theorem proving in monadic predicate calculus Jan Štěpán — 1991 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Time conditional propositions Jan Štěpán — 1988 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Individualised normative logic Jan Štěpán — 1989 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica