Journal of Symbolic Computation, Volume 67

Volume 67, March - April 2015

a service of Schloss Dagstuhl - Leibniz Center for Informatics