Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
Figure 2 (a) G, = C, (b) G, =P, (©) T,(G) (d) G,+,G, iff T=T, Definition 2.5 Lemma 2.3