Heuristic for avoiding skolemization in theorem proving. Pevac, Irena (1985) Publications de l'Institut Mathématique. Nouvelle Série
Horn clause programs and recursive functions defined by systems of equations Jan Šebelík (1982) Kybernetika