← Formal Models for Conflict Resolution and Case …