Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi. La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 341-358, 1993.
Abstract is missing.