Zdravko Markov Lydia Sinapova Christo Dichev Default Reasoning in a Network Environment. 431-436 1990 ECAI db/conf/ecai/ecai90.html#MarkovSD90