Strongly normalizing extensions

From MaRDI portal
Publication:1321039