Proof Search and Certificates for Evidential Transactions.

Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess

Browse the full CADE paper archive.