On Simon’s congruence closure of a string
Sungmin Kim, Yo-Sub Han, Sang-Ki Ko and Kai Salomaa.
Presented at DCFS'22.
Presented at DCFS'22.
Test text
blabla. asdfadf
Holy moly
guacamole
What does
this to?
Hello hello
asd