Embedding Entropic Algebras into Semimodules and Modules. - Michal M. Stronkowski (Int. J. Algebra Comput., 2009)

Quasivarieties with Definable Relative Principal Subcongruences. - Anvar M. Nurakunov; Michal M. Stronkowski (Stud Logica, 2009)

Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska's Theorem Revisited. - Anvar M. Nurakunov; Michal M. Stronkowski (Stud Logica, 2013)

On structural completeness versus almost structural completeness problem: A discriminator varieties case study. - Miguel Campercholi; Michal M. Stronkowski; Diego Vaggione (Log. J. IGPL, 2015)

Almost structural completeness; an algebraic approach. - Wojciech Dzik; Michal M. Stronkowski (Ann. Pure Appl. Log., 2016)

Profiniteness in Finitely Generated Varieties is Undecidable. - Anvar M. Nurakunov; Michal M. Stronkowski (J. Symb. Log., 2018)

Deciding active structural completeness. - Michal M. Stronkowski (Arch. Math. Log., 2020)

Tabular Intermediate Logics Comparison. - Pawel Rzazewski; Michal M. Stronkowski (WoLLIC, 2025)