An Improvement Theorem for Descartes Systems

From MaRDI portal
Publication:4189601