The Gray graph is a unit-distance graph - Leah Wrenn Berman; Gábor Gévay; Tomaz Pisanski (2023)