The haRVey decision procedure. http://www. loria.fr/~ranise/haRVey (0)

by Silvio Ranise, David Deharbe