TY  - JOUR
AU  - Pevac, Irena
TI  - Heuristic for avoiding skolemization in theorem proving.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1985
SP  - 207
VL  - 38(52)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1985__38(52)_257722/
LA  - en
ID  - PIM2_1985__38(52)_257722
ER  -