Search results
Journal of Computer and System Sciences > 2017 > 88 > C > 90-102
Annals of Pure and Applied Logic > 2013 > 164 > 11 > 1101-1117
Journal of Computer and System Sciences > 2017 > 88 > C > 90-102
Annals of Pure and Applied Logic > 2013 > 164 > 11 > 1101-1117