Search results for: Alexander Leitsch
Journal of Automated Reasoning > 2019 > 63 > 1 > 95-126
Journal of Automated Reasoning > 2019 > 62 > 3 > 393-430
Journal of Automated Reasoning > 2019 > 63 > 1 > 95-126
Journal of Automated Reasoning > 2019 > 62 > 3 > 393-430