SakaiM84'

BibTeX

@inproceedings{DBLP:conf/rims/SakaiM84,
  author    = {K{\^o} Sakai and
               Taizo Miyachi},
  title     = {Incorporating Na\"{\i}ve Negation into Prolog},
  booktitle = {RIMS Symposia on Software Science and Engineering},
  year      = {1984},
  pages     = {130-143},
  crossref  = {DBLP:conf/rims/1984},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/rims/1984,
  editor    = {Eiichi Goto and
               Keijiro Araki and
               Taiichi Yuasa},
  title     = {RIMS Symposia on Software Science and Engineering II, Proceedings
               of the Symposia 1983 and 1984, Kyoto, Japan},
  booktitle = {RIMS Symposia on Software Science and Engineering},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {220},
  year      = {1986},
  isbn      = {3-540-16470-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}