La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. - Roberto Barbuti; E. Bellugi; Mauro Gaspari; Roberto Giacobazzi (GULP, 1993)