Journal of Automated Reasoning
Journal of Automated Reasoning > 2013 > 51 > 2 > 129-149
Journal of Automated Reasoning > 2019 > 62 > 1 > 127-167
Journal of Automated Reasoning > 2013 > 51 > 2 > 129-149
Journal of Automated Reasoning > 2019 > 62 > 1 > 127-167