Aberer, Karl2005-09-152005-09-152005-09-151989https://infoscience.epfl.ch/handle/20.500.14299/216610Normal Forms of Combinatory Differential Termstext::report