Larsen KG. A Constraint Oriented Proof Methodology based on Modal Transition Systems. BRICS [Internet]. 1994 Dec. 19 [cited 2024 Nov. 24];1(47). Available from: https://tidsskrift.dk/brics/article/view/21595