An abstract approach to algebraizable logics with quantifiers - Mendes, Caio de Andrade; Mariano, Hugo Luiz (World Congress and School on Universal Logic, 2018)