"Horn: an Inference Engine Prototype to Implement Intelligent Systems."

Antonio D'Angelo (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics