The pleadings game
Violation of norms
A simple computational model for nonmonotonic and adversarial legal reasoning