Liouville type theorem for nonlinear boundary value problem on Heisenberg group - Zhao, Xiaojun (Annales Fennici Mathematici, 2017)