Immerman-Vardi requires ordered structures; unordered structures lack built-in successor relations n...
This proposition has not been edited since the history system was added.