Joachim Parrow Peter Sjödin The Complete Axiomatization of Cs-congruence. 557-568 1994 conf/stacs/1994 STACS db/conf/stacs/stacs94.html#ParrowS94 http://dx.doi.org/10.1007/3-540-57785-8_171