Algebraic properties of if-then-else and commutative three-valued tests. - Soo, Khí-Uí; Stokes, Tim (International Journal of Algebra & Computation, 2019)