ACM 0164-0925/98/0100-0001A $5.00 (1998)

by c○
Venue:l3 �= l2 ⇒ β(l2) �= ♯ β(l3) Lemma 5.3.1 (3) 〈l1, sel,l2〉 ∈Es, 〈l3, sel ′ ,l2〉 ∈Es ⇒ 〈l1, sel,l2〉 ∈Es, 〈l3, sel ′ ,l2〉 ∈Es, (¬iis(l2) ∨ iis(l2)) ⇒ (l1 = l3 ∧ sel = sel ′ ) ∨ iis(l2) true ⇒ (¬iis(l2) ∨ iis(l2)) 〈l1, sel,l2〉 ∈Es, 〈l3, sel ′ ,l2〉 ∈Es, and Def