Maria Grazia Scutellà A Note on Dowling and Gallier's Top-Down Algorithm for Propositional Horn Satisfiability. 265-273 1990 8 J. Log. Program. 3 db/journals/jlp/jlp8.html#Scutella90