Moisés Goldszmidt Judea Pearl On the Consistency of Defeasible Databases. 121-149 1992 52 Artif. Intell. 2 db/journals/ai/ai52.html#GoldszmidtP92