Journal of Automated Reasoning
Journal of Automated Reasoning > 2015 > 55 > 4 > 389-404
Journal of Automated Reasoning > 2015 > 55 > 4 > 373-388
Journal of Automated Reasoning > 2015 > 55 > 4 > 307-372
Journal of Automated Reasoning > 2015 > 55 > 4 > 389-404
Journal of Automated Reasoning > 2015 > 55 > 4 > 373-388
Journal of Automated Reasoning > 2015 > 55 > 4 > 307-372