"Hornlog: A Graph-Based Interpreter for General Horn Clauses."

Jean H. Gallier, Stan Raatz (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics