@inproceedings {bioinflmu-862,
	title = {{Automatic Synthesis of an Efficient Algorithm for the Similarity of Strings Problem}},
	booktitle = {Proceedings of the 4th Workshop on Automated Formal Methods (AFM{\textquoteright}09)},
	year = {2009},
	pages = {23-30},
	address = {Grenoble, France, June 27, 2009},
	keywords = {heun-group},
	url1 = {<a href="http://fm.csl.sri.com/AFM09/afm09-preprint.pdf">PDF</a>},
	author = {Luca Chiarabini},
	editor = {H. Saidi and N. Shankar}
}