“Regularity for $p$-Harmonic Functions in the Grušin Plane”, JMS, vol. 56, no. 3, pp. 219–278, Jul. 2023, doi: 10.4208/jms.v56n3.23.01.