YamasakiYD87'

BibTeX

@article{DBLP:journals/tcs/YamasakiYD87,
  author    = {Susumu Yamasaki and
               Mikio Yoshida and
               Shuji Doshita},
  title     = {A Fixpoint Semantics of Horn Sentences Based on Substitution
               Sets},
  journal   = {Theor. Comput. Sci.},
  volume    = {51},
  year      = {1987},
  pages     = {309-324},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}