Zhao, X. Liouville Type Theorem for Nonlinear Boundary Value Problem on Heisenberg Group. Ann. Fenn. Math. 2017, 42, 723-733.