Search results
Journal of Automated Reasoning > 2019 > 63 > 4 > 967-1002
Journal of Intelligent & Robotic Systems > 2019 > 96 > 2 > 179-191
Journal of Logic, Language and Information > 2019 > 28 > 2 > 157-181
Journal of Automated Reasoning > 2019 > 63 > 4 > 857-885
Linguistics and Philosophy > 2018 > 41 > 5 > 511-556
Theoretical Computer Science > 2017 > 693 > C > 35-58
Theoretical Computer Science > 2017 > 685 > C > 46-64
Electronic Notes in Theoretical Computer Science > 2017 > 332 > C > 57-73
Electronic Notes in Theoretical Computer Science > 2017 > 332 > C > 95-111
Fundamenta Informaticae > 2017 > Vol. 153, nr 1/2 > 57--86
Applied Intelligence > 2017 > 47 > 3 > 914-934
Automation and Remote Control > 2017 > 78 > 4 > 689-699
Distributed Computing > 2018 > 31 > 1 > 51-67
Annals of Pure and Applied Logic > 2017 > 168 > 2 > 321-372
Annals of Pure and Applied Logic > 2017 > 168 > 2 > 278-320