Term logic with choice operator - Hermes, Hans (Lecture Notes in Mathematics, 6, 1970)