Journal of Automated Reasoning
Journal of Automated Reasoning > 2019 > 62 > 3 > 367-391
Journal of Automated Reasoning > 2019 > 62 > 3 > 301-329
Journal of Automated Reasoning > 2019 > 62 > 3 > 393-430
Journal of Automated Reasoning > 2019 > 62 > 3 > 331-365