The Lattice of Congruences of a Finite Linear Frame. - Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pedro Sánchez Terraf (CoRR, 2015)

The lattice of congruences of a finite line frame. - Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pedro Sánchez Terraf (J. Log. Comput., 2017)

The complexity of definability by open first-order formulas. - Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pablo Ventura (Log. J. IGPL, 2020)