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.
@article{CerroP87, title = {A Note of the Complexity of the Satisfiability of Modal Horn Clauses}, author = {Luis Fariñas del Cerro and Martti Penttonen}, year = {1987}, researchr = {https://researchr.org/publication/CerroP87}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {4}, number = {1}, pages = {1-10}, }