On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving)

Daniel Goc, Narad Rampersad, Michel Rigo, Pavel Salimov. On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving). Int. J. Found. Comput. Sci., 25(8):1097-1110, 2014. [doi]

Abstract

Abstract is missing.