A Complete System for Inheritance Reasoning Using Dot Notation and IS-A Relation
ドット記法とIS-A関係を用いた継承推論のための完全システム

Masahiko TSUKAMOTO, Shojiro NISHIO
Journal of the Japanese Society for Artificial Intelligence  
doi:10.11517/jjsai.10.2_279 fatcat:bejgseqb6rdupmy2h6qrnziq54