On State Reduction In Deterministic Finite Transducers And Some Properties Of Deterministic Regular Translations Irena Pevac — 1982 Publications de l'Institut Mathématique
Some Heuristics in Automatic Theorem Proving Dragoš Cvetković; Irena Pevac — 1984 Publications de l'Institut Mathématique
Some closure properties of the nondeterministic regular translations. Pevac, Irena — 1981 Publications de l'Institut Mathématique. Nouvelle Série
Heuristic for avoiding skolemization in theorem proving. Pevac, Irena — 1985 Publications de l'Institut Mathématique. Nouvelle Série
Discussing Graph Theory with a Computer III, Man-machine Theorem Proving Dragoš M. Cvetković; Irena Pevac — 1983 Publications de l'Institut Mathématique
Some heuristics in automatic theorem proving. Cvetković, Dragoš; Pevac, Irena — 1984 Publications de l'Institut Mathématique. Nouvelle Série