"A Note of the Complexity of the Satisfiability of Modal Horn Clauses."

Luis Fariñas del Cerro, Martti Penttonen (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics