A note on the complexity of the satisfiability of modal Horn clauses
Luis Fariñas Del Cerro, Martti PenttonenVolume:
4
Year:
1987
Language:
english
Pages:
10
DOI:
10.1016/0743-1066(87)90018-5
File:
PDF, 697 KB
english, 1987