Using Automata and a Decision Procedure to Prove Results in Pattern Matching (Invited Talk).

Jeffrey O. Shallit

Browse the full CPM paper archive.