The DNF exception problem

From MaRDI portal
Publication:818117