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