"A Proof Calculus Which Reduces Syntactic Bureaucracy."

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