![](/img/cover-not-exists.png)
Interpolation in propositional Horn logic
de Lavalette, Gerard R RenardelLanguage:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exx042
Date:
January, 2018
File:
PDF, 386 KB
english, 2018