Proof search and certificates for evidential transactions
scientific article; zbMATH DE number 7437082