sentence1: in it was shown that the word problem for the automorphism group autof a group g can be reduced in polynomial time to the compressed word problem for g , where the input word is succinctly given by an slp .
sentence2: in it was shown that the word problem for the automorphism group autof g can be reduced in polynomial time to the compressed word problem for g .