Presenting functors on many-sorted varieties and applications.

Alexander KurzDaniela Petrisan
Published in: Inf. Comput. (2010)