"A Knowledge Base for Supporting and Intelligent Program Editor."

Daniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics