Gerd Neu­ge­bauer. Reachability Analysis for the Extension Procedure – A Topological Result. In LOPSTR’93, April 1993.