Efficient Well-Definedness Checking

From MaRDI portal
Publication:3541692