Laurence Cholvy Querying an Inconstistent Database. 81-92 1990 AIMSA db/conf/aimsa/aimsa1990.html#Cholvy90