Equational Axiomatizations of If-Then-Else.

Irène Guessarian Equational Axiomatizations of If-Then-Else. 98-110 1987 conf/ctrs/1987 CTRS db/conf/ctrs/ctrs87.html#Guessarian87