1. Forgetting for defeasible logic;Antoniou,2012
2. Living without Beth and Craig: explicit definitions and interpolants in description logics with nominals (extended abstract);Artale,2020
3. Minimal representation of directed hypergraphs;Ausiello;SIAM J. Comput.,1986
4. A syntactic operator for forgetting that satisfies strong persistence;Berthold;Theory Pract. Log. Program.,2019
5. Uniform interpolation and propositional quantifiers in modal logics;Bílková;Stud. Log.,2007