Slicing Models for Equiconsistency with Alloy. - Marc Thieme; Shobhit Singh; Terru Stübinger; Romain Pascual; Mattias Ulbrich (ABZ, 2026)