Expressive completeness of temporal logic of trees (1992)

by B-H Schlingloff
Venue:J. Appl. Non-Classical Log