The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic
Susumu Yamasaki, Shuji DoshitaVolume:
59
Year:
1983
Language:
english
Pages:
12
DOI:
10.1016/s0019-9958(83)80027-8
File:
PDF, 499 KB
english, 1983