ERRATA
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.
,
Proceedings of the 6th International Conference on Rules and Objects in Databases (DOOD'00), London, UK
, volume 1861 of
Lecture Notes in Artificial Intelligence
, pages 926-941. Springer, 2000.
Third line of Proposition 3 (page 940):
NP-complete
must be replaced by
coNP-complete