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

Luis Fariñas del Cerro Martti Penttonen A Note of the Complexity of the Satisfiability of Modal Horn Clauses. 1-10 1987 4 J. Log. Program. 1 db/journals/jlp/jlp4.html#CerroP87