2024-07-102024-07-102024-07-101529-37851557-945Xhttps://infoscience.epfl.ch/handle/20.500.14299/159510Acm Transactions On Computational Logic