On local modularity and interpolation in entailment systems

P. Veloso,J. Fiadeiro,S. R. M. Veloso
DOI: https://doi.org/10.1016/S0020-0190(01)00271-X
IF: 0.851
2002-05-31
Information Processing Letters
Abstract:
What problem does this paper attempt to address?