Heuristic for avoiding skolemization in theorem proving.
Pevac, Irena
Publications de l'Institut Mathématique. Nouvelle Série, Tome 37(51) (1985), p. 207-213 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 1985-01-01
MISANU-ID : j_publ_0001342
EUDML-ID : urn:eudml:doc:257722 
@article{03970135,
     title = {Heuristic for avoiding skolemization in theorem proving.},
     journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
     volume = {37(51)},
     year = {1985},
     pages = {207-213},
     zbl = {0601.68060},
     language = {en},
     url = {http://dml.mathdoc.fr/item/03970135}
}

Pevac, Irena. Heuristic for avoiding skolemization in theorem proving.. Publications de l'Institut Mathématique. Nouvelle Série, Tome 37(51) (1985) pp. 207-213. http://gdmltest.u-ga.fr/item/03970135/