Jean H. Gallier Stan Raatz Hornlog: A Graph-Based Interpreter for General Horn Clauses. 119-155 1987 4 J. Log. Program. 2 db/journals/jlp/jlp4.html#GallierR87