Report copyright - Yury - Northwestern University · Adiagnosis for (Sd,Comps,Obs) is a formula D(A,Comps-0) suchthat: SduObsuD(A,Comps-A) is satisfiable. A diagnosis D(0, Comps-0) is a minimaldiagnosis
Please pass captcha verification before submit form