Spectra with Only Unary Function Symbols. - Arnaud Durand 001; Ronald Fagin; Bernd Loescher (CSL, 1997)

One Unary Function Says Less Than Two in Existential Second Order Logic. - Bernd Loescher (Inf. Process. Lett., 1997)