@article{Fassbender2008,
  author    = {Heinz Faßbender},
  title     = {Implementation of a UU-Algorithm for primitive recursive tree functions},
  journal   = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)},
  pages     = {233 -- 242},
  year      = {2008},
}