Erich Grädel, Gregory L. McColm
Deterministic vs. Nondeterministic Transitive Closure Logic
LICS, 1992.
@inproceedings{LICS-1992-GraedelM, author = "Erich Grädel and Gregory L. McColm", booktitle = "{Proceedings of the Seventh Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1992.185519", isbn = "0-8186-2735-2", pages = "58--63", publisher = "{IEEE Computer Society}", title = "{Deterministic vs. Nondeterministic Transitive Closure Logic}", year = 1992, }