2024-07-112024-07-112024-07-110925-85311572-9583https://infoscience.epfl.ch/handle/20.500.14299/204234Journal Of Logic Language And Information