Q. Blomet and B. Da Ré, “Reaching Classicality through Transitive Closure”, LLP, vol. 35, no. 2, pp. 311–337, Oct. 2025.