Model-Based Analogue Circuit Diagnosis with CLP(R).

Igor Mozetic Christian Holzbaur Franc Novak Marina Santo Zarnik Model-Based Analogue Circuit Diagnosis with CLP(R). 343-353 1991 conf/wi/1991 Wissensbasierte Systeme db/conf/wi/wi1991.html#MozeticHNS91