On local modularity and interpolation in entailment systems. / Veloso, P.A.S.; Fiadeiro, J.L.; Veloso, S.R.M.

In: Information Processing Letters, Vol. 82, No. 4, 31.05.2002, p. 203-211.

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)203-211
Number of pages9
JournalInformation Processing Letters
Issue number4
Publication statusPublished - 31 May 2002
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7189654