Deciding global partialorder properties (1998)

by R Alur, K McMillan, D Peled
Venue:In ICALP’98, number 1443 in LNCS