@article{PIM_1983_N_S_33_47_a12,
     author = {Petar Z. Hotomski},
     title = {Sposob {Vstroeniya} {Pravila} {Indukcii} v {Procedury} {Avtomaticheskogo} {Dokazatel'stva} {Teorem} s {Rezolyuciei}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {89 },
     publisher = {mathdoc},
     volume = {_N_S_33},
     number = {47},
     year = {1983},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1983_N_S_33_47_a12/}
}