Overdetermined systems of linear partial differential operators with normal principal symbols

From MaRDI portal