Susumu Yamasaki Mikio Yoshida Shuji Doshita Mikito Hirata A New Combination of Input and Unit Deductions for Horn Sentences. 209-213 1984 18 Inf. Process. Lett. 4 db/journals/ipl/ipl18.html#YamasakiYDH84