Search results for: Xiao-Shan Gao
Journal of Automated Reasoning > 2010 > 45 > 3 > 213-241
Journal of Automated Reasoning > 2010 > 45 > 3 > 243-266
Journal of Automated Reasoning > 2010 > 45 > 3 > 213-241
Journal of Automated Reasoning > 2010 > 45 > 3 > 243-266