Andrzej Kisielewicz Complexity of Semigroup Identity Checking. 455-464 2004 14 IJAC 4 http://dx.doi.org/10.1142/S0218196704001840 db/journals/ijac/ijac14.html#Kisielewicz04