Removing critical pairs

From MaRDI portal
Publication:584292