@article{AUPO_1991__30_1_a21,
     author = {\v{S}t\v{e}p\'an, Jan},
     title = {Automated theorem proving in monadic predicate calculus},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     pages = {273--283},
     publisher = {mathdoc},
     volume = {30},
     number = {1},
     year = {1991},
     mrnumber = {1166442},
     zbl = {0748.68072},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AUPO_1991__30_1_a21/}
}