/sci-mathematics/cvc4/