Research Article

A Deductive Approach towards Reasoning about Algebraic Transition Systems

Figure 3

Proof of the right branch.