decision procedure (logic) - Alemán Inglés Diccionario