"Inference and reflection in the object-centered representation language NOOS."

Josep Lluís Arcos, Enric Plaza (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics