Horn filter pairs and Craig interpolation property - Arndt, Peter; Mariano, Hugo Luiz; Pinto, Darllan Conceição (Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL), 2019)