Decidability Problem for Finite Heyting Algebras. - Katarzyna Idziak; Pawel M. Idziak (J. Symb. Log., 1988)

Quasivarieties of Equivalential Algebras. - Katarzyna Idziak (Reports Math. Log., 1995)

Counting Quasivarieties of Equivalential Algebras. - Katarzyna Idziak (Reports Math. Log., 2000)