Abstract specification of legal contracts
A web-based tool for analysing normative documents in english
CLAN: A Tool for Contract Analysis and Conflict Discovery
$\mathcalCL$?: An Action-Based Logic for Reasoning about Contracts
Lecture Notes in Computer Science
Proceedings of the 12th International Conference on Artificial Intelligence and Law - ICAIL ’09
Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC ’18
Cristian Prisacariu
Gordon J. Pace
Mohammad Reza Haghshenas
Stephen Fenech
John J. Camilleri