Nico Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence Volume 57, Issue 1, September 1992, Pages 69–103.
http://pdf.aminer.org/000/745/743/a_logic_for_reasoning_with_inconsistent_knowledge.pdf / http://libgen.org/scimag/get.php?doi=10.1016%2F0004-3702%2892%2990105-7
Nico Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence Volume 57, Issue 1, September 1992, Pages 69–103.
http://pdf.aminer.org/000/745/743/a_logic_for_reasoning_with_inconsistent_knowledge.pdf / http://libgen.org/scimag/get.php?doi=10.1016%2F0004-3702%2892%2990105-7