Ochoa, P.; Ruiz, A. J. Existence and Uniqueness Results for Linear Second-Order Equations in the Heisenberg Group. Ann. Fenn. Math. 2017, 42, 1065-1083.