History

for article: Ukkonen's algorithm