@article{article992bca3b,
title   = {Horn filter pairs and Craig interpolation in propositional logic},
author = {Arndt, Peter and Mariano, Hugo Luiz and Pinto, Darllan Conceição},
year = {2023},
journal   = {Boletin de Matematicas}
}