Citation Title: Locally Finite Reducts of Heyting Algebras and Canonical Formulas Author: Guram Bezhanishvili, Nick Bezhanishvili Year: 2017 Published in: Notre Dame Journal of Formal Logic