CR gradient estimate for the positive eigenfunction of Witten sub-Laplacian
scientific article; zbMATH DE number 7377348
scientific article