Susumu Yamasaki Mikio Yoshida Shuji Doshita A Fixpoint Semantics of Horn Sentences Based on Substitution Sets. 309-324 1987 51 Theor. Comput. Sci. db/journals/tcs/tcs51.html#YamasakiYD87