Abstract specification of legal contracts
$\mathcalCL$?: An Action-Based Logic for Reasoning about Contracts
Proceedings of the 12th International Conference on Artificial Intelligence and Law - ICAIL ’09
Lecture Notes in Computer Science
Gerardo Schneider