Checking by computer method for the associative law of finite groups

• 有限群的结合律的计算机检查法