Regularity for $p$-Harmonic Functions in the Grušin Plane. JMS 2023, 56 (3), 219-278. https://doi.org/10.4208/jms.v56n3.23.01.