Language Equation Solving via Boolean Automata Manipulation

Date:

More information here