publication venue for An explicit theorem of the square for hyperelliptic Jacobians 2001 Necessary and sufficient conditions for Weyl’s theorem 1972 On representable relation algebras 1964