Global implicit function theorems1981-02-010 PRE AI DOI:10.1109/tcs.1981.1084960OriginalOriginal request for helpShareSaveAbstract En