Reasoning with contradictory deductive databases

Full text