On a weak Kelley-Morse theory of classes Wiktor V. Marek, Antonín Sochor (1978) Commentationes Mathematicae Universitatis Carolinae
On models in the alternative set theory Michal Resl (1979) Commentationes Mathematicae Universitatis Carolinae
On the adjunction of any semiset to the system of S d V -classes in AST Karel Čuda (1989) Commentationes Mathematicae Universitatis Carolinae
On the existence of factor sets by external equivalences in IST. Prokhorova, M.F. (2002) Sibirskij Matematicheskij Zhurnal
On the number of models of the Kelley-Morse theory of classes W. Marek, Paweł Zbierski (1980) Fundamenta Mathematicae