@article{CIAA-J-2012-GocHS13,
	author        = "Daniel Goc and Dane Henshall and Jeffrey Shallit",
	doi           = "10.1142/S0129054113400182",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 6,
	pages         = "781--798",
	publisher     = "{World Scientific}",
	title         = "{Automatic Theorem-Proving in Combinatorics on Words}",
	volume        = 24,
	year          = 2013,
}