Yoshihiko Ohta, Katsumi Inoue. A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. In FGCS. pages 522-529, 1992.
@inproceedings{OhtaI92, title = {A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation}, author = {Yoshihiko Ohta and Katsumi Inoue}, year = {1992}, tags = {rule-based, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/OhtaI92}, cites = {0}, citedby = {0}, pages = {522-529}, booktitle = {FGCS}, }