"Learning and Applying Generalised Solutions using Higher Order Resolution."

Michael R. Donat, Lincoln A. Wallen (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics