Aberer, Karl2005-09-152005-09-152005-09-15199310.1007/3-540-57272-4_29https://infoscience.epfl.ch/handle/20.500.14299/216442Combinatory Models and Symbolic Computationtext::conference output::conference proceedings::conference paper