IMPLICIT FUNCTION THEOREM FOR QUASI-ANALYTIC AND RELATED CLASSES OF FUNCTIONS - Liverman, T. P. G. (1956)