Novák Josef
Remark on M-completeness