On polynomial time computation over unordered structures
Blass, Andreas ; Gurevich, Yuri ; Shelah, Saharon
The Journal of symbolic logic, 2002-09, Vol.67 (3), p.1093-1125
[Periódico revisado por pares]
New York, USA: Cambridge University Press
Texto completo disponível