@article{tsukamoto_nishio, title={A Complete System for Inheritance Reasoning Using Dot Notation and IS-A Relation}, volume={10}, DOI={10.11517/jjsai.10.2_279}, number={2}, publisher={The Japanese Society for Artificial Intelligence}, author={TSUKAMOTO, Masahiko and NISHIO, Shojiro} }