Automated Consistency Analysis for Legal Contracts. - Alan Khoja; Martin Kölbl; Stefan Leue; Rüdiger Wilhelmi (SPIN, 2022)

Formal Modeling and Analysis of Legal Contracts using ContractCheck. - Alan Khoja; Martin Kölbl; Stefan Leue; Rüdiger Wilhelmi (CoRR, 2022)