@inproceedings{sol-non-unif,
   author    = {Martin Wehr},
   title     = {Non-uniform Recursion: The solution (minimal sorting for fold)},
   booktitle = {Proc. of MFCS200 (submitted)},
   year      = {2000},
   month     = {August},
   address   = {Bratislava, Slovak Republic}
}