It is obvious that the above theorem supplies an algorithm to effectively recognize whether $SP$ is in $A$.
He used a new version of an algorithm for finding all normal subgroups of up to a given index in a finitely presented group.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z