Author: Yanchun Liu; Weina Hu; | Publisher: 2011 International Conference on information science and engineering (ICISE) Sept. 29th-Oct. 1st 2011 in Yangzou, China
Author: Simon Colton; | Publisher: Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002