Y Chen, J Flum - 2009 24th Annual IEEE Symposium on Logic …, 2009 - ieeexplore.ieee.org
In the work of Nash et al.(2005) have raised the question whether a logic L les, already
introduced by Gurevich in 1988, captures polynomial time, and they give a reformulation of …