A necessary condition for local solvability for a class of operators with double characteristics
scientific article; zbMATH DE number 3816681