In Immerman's 1999 textbook on descriptive complexity, Immerman ascribes this result to Vardi and to Immerman.
در کتاب immerman's 1999، دربارهٔ پیچیدگی توصیفی، این نتیجه را کار Vardi & Immerman می‌داند.