@article{PIM2_1985__38(52)_257722,
     author = {Pevac, Irena},
     title = {Heuristic for avoiding skolemization in theorem proving.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {207},
     publisher = {mathdoc},
     volume = {38(52)},
     year = {1985},
     zbl = {0601.68060},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1985__38(52)_257722/}
}