Luca Console, Pietro Torasso: A Logical Approach to Deal with Incomplete Causal Models in Diagnostic Problem Solving. IPMU 1988: 255-264