Search results
Journal of Automated Reasoning > 2018 > 60 > 2 > 133-156
Annals of Pure and Applied Logic > 2000 > 102 > 1-2 > 1-26
Journal of Automated Reasoning > 2018 > 60 > 2 > 133-156
Annals of Pure and Applied Logic > 2000 > 102 > 1-2 > 1-26