Clause-reachability is undecidable in legal contracts. - Delzanno, Giorgio; Laneve, Cosimo; Sangnier, Arnaud; Zavattaro, Gianluigi (International Journal on Software Tools for Technology Transfer, 2026)