A New Proof System to Verify GDT Agents.

Bruno Mermet, Gale Simon

Browse the full IDC paper archive.