All generalized Petersen graphs are unit-distance graphs
scientific article; zbMATH DE number 6045504