The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic

✍ Scribed by Susumu Yamasaki; Shuji Doshita

• Book ID: 114037660
• Publisher: Elsevier Science
• Year: 1983
• Weight: 499 KB
• Volume: 59
• Category: Article
• ISSN: 0019-9958
• DOI: 10.1016/s0019-9958(83)80027-8