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

by S Boutin