HyperPro: an intelligent hypermedia system for learning logic programming. - Teresa Roselli; Antonietta Di Donfrancesco; Stefania Loverro (AVI, 1996)