placed "On many-sorted term algebras" paper