Undecidability of partial order logics (1999)

by R Alur, D Peled
Venue:Inf. Process. Lett