The Fluted Fragment with Transitivity

From MaRDI portal
Publication:5092377