1. Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201);Adaricheva;Dagstuhl Reports,2014
2. Linear reasoning. A new form of the Herbrand--Gentzen theorem;Craig;Journal of Symbolic Logic,1957
3. Interpolation in non-classical logics;D’Agostino;Synthese,2008
4. On the existence of polynomial time algorithms for interpolation problems in propositional logic;Dahlhaus;Notre Dame Journal of Formal Logic,1988
5. G.R. Renardel de Lavalette . Abstract derivations, equational logic and interpolation. InStructures and Deduction—the Quest for the Essence of Proofs (satellite workshop of ICALP 2005), P.Bruscoli, F.Lamarche and C.Stewart, eds, pp. 173–188.Technische Universität Dresden, Fakultät Informatik, ISSN1430-211X, 2005.