Giorgio Levi, Francesca Scozzari. Contributions to a Theory of Existential Termination for Definite Logic Programs. In MarĂa Alpuente, Maria I. Sessa, editors, 1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995. pages 631-642, 1995.
Abstract is missing.