Contradiction Analysis for Inconsistent Formal Models.

Nils Przigoda, Robert Wille, Rolf Drechsler

Browse the full DDECS paper archive.