Liouville results for fully nonlinear equations modeled on Hörmander vector fields. I. The Heisenberg group - Martino Bardi; Alessandro Goffi (2020)