Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. - D. Concari; Stefania Costantini; Gaetano Aurelio Lanzarone (GULP, 1993)