Lokendra Shastri Default Reasoning in Semantic Networks: A Formalization of Recognition and Inheritance. 283-355 1989 39 Artif. Intell. 3 db/journals/ai/ai39.html#Shastri89