Journal of Symbolic Computation, Volume 49

Volume 49, February 2013

a service of Schloss Dagstuhl - Leibniz Center for Informatics