Do Lawyers Use Automated Reasoning? (invited paper).

Tomer Libal

Browse the full CADE paper archive.