DISCO

International Symposium on Design and Implementation of Symbolic Computation Systems