M Schechter - Annali della Scuola Normale Superiore di Pisa …, 1964 - numdam.org
… on x" > 0. He assumed that P (x, D) is formally hypoelliptic, ie, that it is a variable
coefficienti operator which for each x equals a constant coefficient hypoelliptic operator and is …