TY - RPRT TI - Deciding Consistency of Databases Containing Defeasible and Strict Information AU - Moises Goldszmidt AU - Judea Pearl PY - 2013 UR - https://arxiv.org/abs/1304.1507 ID - 1304.1507 ER -