Translation of "Entscheidungskalkül" in English