Search results
Journal of Automated Reasoning > 2015 > 55 > 3 > 191-198
Journal of Automated Reasoning > 2013 > 50 > 2 > 203-210
Journal of Automated Reasoning > 2015 > 55 > 3 > 191-198
Journal of Automated Reasoning > 2013 > 50 > 2 > 203-210