Using re to build ecient and certi decision procedures (0)

by S Boutin