On Inconsistency and Unsatisfiability - Schröder, Lutz; Mossakowski, Till (International Journal of Software and Informatics, 2015)
Keywords: Inconsistency; Unsatisfiability