Károly Bezdek Robert Connelly The Kneser-Poulsen Conjecture for Spherical Polytopes. 101-106 2004 32 Discrete & Computational Geometry 1 http://dx.doi.org/10.1007/s00454-004-0831-1 db/journals/dcg/dcg32.html#BezdekC04