On the Macintyre conjecture

From MaRDI portal
Publication:2540752