decision procedure (logic) - Turco Inglés Diccionario