presburger arithmetic - Alemán Inglés Diccionario