Polynomially graded logic (1989)

by A Nerode, J B Remmel, A Scedrov
Venue:Proceedings of the Fourth Symposium on Logic in Computer Science, Asilomar