On local modularity and interpolation in entailment systems.

Autor: Veloso, Paulo A.S., Fiadeiro, José L., Veloso, Sheila R.M.
Zdroj: Information Processing Letters. 5/31/2002, Vol. 82 Issue 4, p203. 9p. 4 Diagrams, 1 Chart.
Databáze: Business Source Ultimate