Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models. - Thomas Haas; Roland Meyer 001; Hernán Ponce de León; Andrés Lomelí Garduño (Proc. ACM Program. Lang., 2026)