On iterating semiproper preorders

From MaRDI portal
Publication:4451727