Epimorphism surjectivity in varieties of Heyting algebras. - Tommaso Moraschini; Jamie J. Wannenburg (Ann. Pure Appl. Log., 2020)

Singly generated quasivarieties and residuated structures. - Tommaso Moraschini; James G. Raftery 001; Jamie J. Wannenburg (Math. Log. Q., 2020)

Varieties of de Morgan Monoids: Covers of atoms. - Tommaso Moraschini; James G. Raftery 001; Jamie J. Wannenburg (Rev. Symb. Log., 2020)

Epimorphisms, Definability and Cardinalities. - Tommaso Moraschini; James G. Raftery 001; Jamie J. Wannenburg (Stud Logica, 2020)

Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. - Igor Sedlár; Johann J. Wannenburg (WoLLIC, 2022)

One-sorted Program Algebras. - Igor Sedlár; Johann J. Wannenburg (CoRR, 2022)