Propagation of analyticity along real bicharacteristics
classical analytic pseudo-differential operator
scientific article; zbMATH DE number 3738138