Search results for: Shan Gao
Journal of Automated Reasoning > 2010 > 45 > 3 > 213-241
Journal of Automated Reasoning > 2010 > 45 > 3 > 243-266
Journal of Automated Reasoning > 2000 > 25 > 3 > 219-246
Journal of Automated Reasoning > 2010 > 45 > 3 > 213-241
Journal of Automated Reasoning > 2010 > 45 > 3 > 243-266
Journal of Automated Reasoning > 2000 > 25 > 3 > 219-246