Silvio Ranise
DIST - Università degli Studi di Genova, Genova, Italia and LORIA - Université Henri Poincaré, France
A. Armando, S. Ranise: A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic /jucs_7_2/a_practical_extension_mechanism