Original language | English |
---|---|
Pages (from-to) | 203-211 |
Number of pages | 9 |
Journal | Information Processing Letters |
Volume | 82 |
Issue number | 4 |
DOIs | |
Publication status | Published - 31 May 2002 |
On local modularity and interpolation in entailment systems
P.A.S. Veloso, J.L. Fiadeiro, S.R.M. Veloso
Research output: Contribution to journal › Article › peer-review