DOWLING, William F.; GALLIER, Jean H. Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming. 1984, s. 267–284. DOI10.1016/0743-1066(84)90014-1.Je zde použita šablona {{Citation}} označená jako k „pouze dočasnému použití“.
