A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem | Publicación