Congruence-based proofs of the recognizability theorems for free many-sorted algebras | Publicación