Nacinovich, M.; Porten, E. $\mathcal{C}^{\infty}$-Hypoellipticity and Extension of CR Functions. Annali Scienze 2015, 14, 677-703.