Detecting the disjoint disks property
scientific article; zbMATH DE number 3645985