Lower bounds for invariant queries in logics with counting

Leonid Libkin, Limsoon Wong. Lower bounds for invariant queries in logics with counting. Theoretical Computer Science, 288(1):153-180, 2002.

Abstract

Abstract is missing.