Search results
Journal of Logical and Algebraic Methods in Programming > 2017 > 93 > C > 68-91
Journal of Symbolic Computation > 2017 > 80 > P1 > 125-163
Journal of Logical and Algebraic Methods in Programming > 2017 > 93 > C > 68-91
Journal of Symbolic Computation > 2017 > 80 > P1 > 125-163