1993
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.
Roberto Barbuti
,
E. Bellugi
,
Mauro Gaspari
,
Roberto Giacobazzi
Proceedings of the 8th Italian Conference on Logic Programming, 1993