decision procedure (logic) - Francés Inglés Diccionario