Katriel, Irit Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Katriel, I. (2004). On the Algebraic Complexity of Set Equality and Inclusion. Information Processing Letters, 92, 175-178.