An Explanatory and "Argumentative" Interface for a Model-based Diagnostic System. - Christopher A. Miller 001; Raymond Larson (ACM Symposium on User Interface Software and Technology, 1992)