Gravar-mail: Behavioral equivalence of hidden k-logics: an abstract algebraic approach