Clause-reachability is undecidable in legal contracts.
Saved in:
| Title: | Clause-reachability is undecidable in legal contracts. |
|---|---|
| Authors: | Delzanno, Giorgio1, giorgio.delzanno@unige.it, Laneve, Cosimo2, cosimo.laneve@unibo.it, Sangnier, Arnaud1, arnaud.sangnier@unige.it, Zavattaro, Gianluigi2, gianluigi.zavattaro@unibo.it |
| Source: | International Journal on Software Tools for Technology Transfer; Jun2026, Vol. 28 Issue 3, p255-275, 21p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-026-00841-5 |
