Luis Fariñas del Cerro, Martti Penttonen. A Note of the Complexity of the Satisfiability of Modal Horn Clauses. Journal of Logic and Algebraic Programming, 4(1):1-10, 1987.
No references recorded for this publication.
No citations of this publication recorded.