A General Equivalence Checking Framework for Multivalued Logic. - Chia-Chun Lin; Hsin-Ping Yen; Sheng-Hsiu Wei; Pei-Pei Chen; Yung-Chih Chen; Chun-Yao Wang (ASP-DAC, 2021)