Yael Maon Amiram Yehudai Balance of Many-Valued Transductions and Equivalence Problems. 247-262 1986 47 Theor. Comput. Sci. 3 db/journals/tcs/tcs47.html#MaonY86