search author

DBLP BibTeX Record 'conf/fgcs/OhtaI92'

@inproceedings{DBLP:conf/fgcs/OhtaI92,
  author    = {Yoshihiko Ohta and
               Katsumi Inoue},
  title     = {A Forward-Chaining Hypothetical Reasoner Based on Upside-Down
               Meta-Interpretation},
  booktitle = {FGCS},
  year      = {1992},
  pages     = {522-529},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}