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