Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic

Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic Susumu Yamasaki Shuji Doshita 174 Information and Control May 1984 61 2 db/journals/iandc/iandc61.html#YamasakiD84