A Syntactic Characterization of NP-Completeness - J. Antonio Medina; Neil Immerman (LICS, 1994)

A Generalization of Fagin's Theorem. - J. Antonio Medina; Neil Immerman (LICS, 1996)