Journal of Automated Reasoning
Journal of Automated Reasoning > 2005 > 34 > 2 > 179-207
Journal of Automated Reasoning > 2007 > 39 > 1 > 1-47
Journal of Automated Reasoning > 2012 > 48 > 1 > 43-105
Journal of Automated Reasoning > 2015 > 55 > 4 > 307-372