"Full Reduction in the Face of Absurdity."

Gabriel Scherer, Didier Rémy (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics