Search results for: Jia Tao
Journal of Automated Reasoning > 2019 > 63 > 3 > 539-555
Journal of Automated Reasoning > 2012 > 49 > 4 > 551-582
Journal of Automated Reasoning > 2019 > 63 > 3 > 539-555
Journal of Automated Reasoning > 2012 > 49 > 4 > 551-582