Osamu Watanabe Seinosuke Toda Structural Analysis of the Complexity of Inverse Functions. 203-214 1993 26 Mathematical Systems Theory 2 db/journals/mst/mst26.html#WatanabeT93