Search results for: Lars Hupel
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 177--205
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 191-242
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 177--205
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 191-242