Rijke. A modal perspective on path constraints (2003)

by N Alechina, S Demri, M de
Venue:Journal of Logic and Computation