On models in the alternative set theory Michal Resl — 1979 Commentationes Mathematicae Universitatis Carolinae
Provability in the alternative set theory Michal Resl; Antonín Sochor — 1981 Commentationes Mathematicae Universitatis Carolinae