The density of planar sets avoiding unit distances
scientific article; zbMATH DE number 7915917
scientific article