Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts. - Yosuke Kakiuchi; Tomofumi Nakagawa; Kiyoharu Hamaguchi; Tadaaki Tanimoto; Masaki Nakanishi (IPSJ Trans. Syst. LSI Des. Methodol., 2011)