Horn filter pairs and Craig interpolation property
Peter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (19. 2019 João Pessoa)
Book of Abstracts João Pessoa : EDUFCG, 2019João Pessoa EDUFCG 2019
Online access. The library also has physical copies.