Bernd Kummer: Inverse functions of pseudo regular mappings and regularity conditions. Math. Program. 88(2): 313-339 (2000)