Larsen, K. G. (1994). A Constraint Oriented Proof Methodology based on Modal Transition Systems. BRICS Report Series, 1(47). https://doi.org/10.7146/brics.v1i47.21595