"Competitive Proving for Fun."

Maximilian Paul Louis Haslbeck, Simon Wimmer (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics