2024-07-102024-07-102024-07-102352-2208https://infoscience.epfl.ch/handle/20.500.14299/120391Journal of Logical and Algebraic Methods in Programming