decision procedure (logic) - Allemand Anglais Dictionnaire