An isolic generalization of Cauchy's theorem for finite groups J. C. E. Dekker OriginalPaper Pages: 231 - 236
Existential equivalence of ordered abelian groups with parameters V. Weispfenning OriginalPaper Pages: 237 - 248
Satisfiability of formulae with one ∀ is decidable in exponential time Erich Grädel OriginalPaper Pages: 265 - 276