@article{AUPO_1990__29_1_a18,
     author = {\v{S}t\v{e}p\'an, Jan},
     title = {Propositional calculus proving methods in {Prolog}},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     pages = {301--321},
     publisher = {mathdoc},
     volume = {29},
     number = {1},
     year = {1990},
     mrnumber = {1144841},
     zbl = {0792.68165},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AUPO_1990__29_1_a18/}
}