Licenses and contracts

Summary
Licenses and contracts: mining and reasoning techniques.