"An extended framework for specifying and reasoning about proof systems."

Vivek Nigam, Elaine Pimentel, Giselle Reis (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics