"Satoulouse: The Computational Power of Propositional Logic Shown to Beginners."

Olivier Gasquet, François Schwarzentruber, Martin Strecker (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics