Algorithms for Some Euler-Type Identities for Multiple Zeta Values. (4th February 2013)