M-l^1-completeness and M-co-drop property

From MaRDI portal
Publication:2838765