Anil Nerode, Jeffrey B. Remmel, Andre Scedrov
Polynomially Grade Logic I: A Graded Version of System T
LICS, 1989.
@inproceedings{LICS-1989-NerodeRS, author = "Anil Nerode and Jeffrey B. Remmel and Andre Scedrov", booktitle = "{Proceedings of the Fourth Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1989.39192", isbn = "0-8186-1954-6", pages = "375--385", publisher = "{IEEE Computer Society}", title = "{Polynomially Grade Logic I: A Graded Version of System T}", year = 1989, }