Search results
Journal of Applied Logic > 2015 > 13 > 3 > 188-196
Expert Systems With Applications > 2014 > 41 > 14 > 6291-6304
Theoretical Computer Science > 2014 > 549 > Complete > 36-60
Annals of Pure and Applied Logic > 2018 > 169 > 10 > 997-1043
Artificial Intelligence > 2018 > 263 > C > 3-45
Annals of Pure and Applied Logic > 2018 > 169 > 4 > 277-311
Artificial Intelligence > 2018 > 256 > C > 35-67
Computers & Security > 2018 > 73 > C > 156-171
Fuzzy Sets and Systems > 2018 > 333 > C > 106-123
Information and Computation > 2017 > 257 > C > 58-64
Journal of Computer and System Sciences > 2017 > 89 > C > 209-245
Theoretical Computer Science > 2017 > 693 > C > 1-12
Information and Computation > 2017 > 255 > P2 > 243-261
Theoretical Computer Science > 2017 > 685 > C > 23-45
Annals of Pure and Applied Logic > 2017 > 168 > 5 > 1032-1090
Journal of Applied Logic > 2017 > 21 > C > 57-90
Artificial Intelligence > 2017 > 245 > C > 86-114
Artificial Intelligence > 2017 > 242 > C > 80-106
Annals of Pure and Applied Logic > 2017 > 168 > 1 > 72-111
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 107-133