"A Proof Calculus Which Reduces Syntactic Bureaucracy."

Alessio Guglielmi, Tom Gundersen, Michel Parigot (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics