"Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig ..."

Matías Menni (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics