Automated proof for equivalence of telephone systems. - Jun Sakoh; Noriaki Yoshimasa; Yoshinobu Kawabe (ICIS, 2013)