Search results
Journal of Automated Reasoning > 2015 > 55 > 3 > 245-256
Journal of Automated Reasoning > 2014 > 53 > 2 > 173-213
Journal of Automated Reasoning > 2015 > 55 > 3 > 245-256
Journal of Automated Reasoning > 2014 > 53 > 2 > 173-213