A sufficient condition for the local solvability of a linear partial differential operator with double characteristics
scientific article; zbMATH DE number 3603695