Ein verschärfter und verallgemeinerter Satz von Alexandrov. Ulrich Huckenbeck — 1987 Manuscripta mathematica
On geometric automata which can nondeterministically choose auxiliary points Ulrich Huckenbeck — 1990 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications