Daniel Goc, Narad Rampersad, Michel Rigo, Pavel Salimov
On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving)
DLT, 2014.
@article{DLT-J-2013-GocRRS14,
author = "Daniel Goc and Narad Rampersad and Michel Rigo and Pavel Salimov",
doi = "10.1142/S0129054114400267",
journal = "{International Journal of Foundations of Computer Science}",
number = 8,
pages = "1097--1110",
publisher = "{World Scientific}",
title = "{On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving)}",
volume = 25,
year = 2014,
}