Wolfgang Thomas
On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees
LICS, 1987.
@inproceedings{LICS-1987-Thomas,
author = "Wolfgang Thomas",
booktitle = "{Proceedings of the Second Symposium on Logic in Computer Science}",
pages = "245--256",
publisher = "{IEEE Computer Society}",
title = "{On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees}",
year = 1987,
}