Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Publisher: Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
Author: Zhengjun LI; Yixuan FAN; | Publisher: 2011 International Conference on information science and engineering (ICISE) Sept. 29th-Oct. 1st 2011 in Yangzou, China