共 50 条
- [33] A note on Spector's quantifier-free rule of extensionality Archive for Mathematical Logic, 2001, 40 : 89 - 92
- [34] An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic Journal of Automated Reasoning, 2011, 47 : 341 - 367
- [36] Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 88 - +