A Set Automaton to Locate All Pattern Matches in a Term.

Rick Erkens, Jan Friso Groote

Browse the full ICTAC paper archive.