Bi-decomposition of multi-valued logical functions and its applications Article in Automatica (July 2013)