Search results
Journal of Automated Reasoning > 2015 > 55 > 3 > 269-284
Journal of Automated Reasoning > 2008 > 41 > 2 > 143-189
Journal of Automated Reasoning > 2015 > 55 > 3 > 269-284
Journal of Automated Reasoning > 2008 > 41 > 2 > 143-189