Porifera: A Relational Approach to Conformance Checking for Object-Centric Behavioral Constraints. - Maike Basmer; Radu-Dan Falcusan; Marco Montali; Matthias Weidlich 001 (CAiSE (2), 2026)