Efficient verification by exploiting symmetry and abstraction. - Hiroshi Toshima; Tomohiro Yoneda (Syst. Comput. Jpn., 2001)