Proof Search and Certificates for Evidential Transactions. - Vivek Nigam; Giselle Reis; Samar Rahmouni; Harald Ruess (CADE, 2021)