Vanquishing the XCB Question
Inferring from Inconsistency in Preference-Based Argumentation Frameworks
Unification Types of Completely Regular Semigroups