Search results
Journal of Automated Reasoning > 2019 > 62 > 1 > 127-167
Journal of Computer and System Sciences > 2017 > 88 > C > 90-102
Studia Logica > 2018 > 106 > 2 > 397-415
Information and Computation > 2017 > 255 > P2 > 311-333
Studia Logica > 2018 > 106 > 2 > 237-279
Logic and Logical Philosophy > 2017 > 26 > 2 > 197–206
Journal of Applied Logic > 2017 > 21 > C > 14-23
Journal of Automated Reasoning > 2018 > 60 > 2 > 133-156
Studia Logica > 2017 > 105 > 3 > 553-586
Reports on Mathematical Logic > 2017 > Vol. 52 > 101--132
Studia Logica > 2017 > 105 > 3 > 649-664
Theoretical Computer Science > 2016 > 625 > C > 125-146