Automated Reasoning : - Shi, Zhongzhi (IFIP transactions. Computer science and technology ;, 1992)