The Isomorphism Testing for Directly Representable Varieties. - Tomasz A. Gorazd (Reports Math. Log., 1997)

Fast Isomorphism Testing in Arithmetical Varieties. - Tomasz A. Gorazd (Int. J. Algebra Comput., 2003)

Term equation Satisfiability over Finite Algebras. - Tomasz A. Gorazd; Jacek Krzaczkowski (Int. J. Algebra Comput., 2010)

The complexity of problems connected with two-element algebras. - Tomasz A. Gorazd; Jacek Krzaczkowski (Reports Math. Log., 2011)

Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete. - Tomasz A. Gorazd; Jacek Krzaczkowski (J. Univers. Comput. Sci., 2013)