Sorry, we do not have enough data to show an influence graph for this author.
The purpose of this note is to correct an error in  pointed out in  and to explain the source of this error. Upon initial review of , one reviewer requested that multiplicative dots be used to reduce the large number of parentheses in the identities. For instance, (ey)((((yy)(xz))z)z) = x would be changed to ey · ((yy · xz)z · z) = x. A program was… (More)