"Notes on GGH13 Without the Presence of Ideals."

Martin R. Albrecht, Alex Davidson, Enrique Larraia (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics