Immerman-Vardi captures the essential logical content of P: solvability by deterministic polynomial-...
This proposition has not been edited since the history system was added.