Renate A. Schmidt <i>E</i>-Unification for Subsystems of <i>S4</i>. 106-120 http://dx.doi.org/10.1007/BFb0052364 1998 conf/rta/1998 RTA db/conf/rta/rta98.html#Schmidt98