Shallow Horn Clauses
Left-convoluted automata
Right-convoluted automata
Complete-convoluted automata