On a question of A. Salomaa: the equational theory of regular expression

Register-machine based processes

Journal of the ACM (JACM)

On axioms for commutative regular equations without addition

Theoretical Computer Science

Axiomatizing the Least Fixed Point Operation and Binary Supremum

Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic

Regular expressions: new results and open problems

Journal of Automata, Languages and Combinatorics

On the relationship between workflow models and document types

Information Systems

Simplifying regular expressions: a quantitative perspective

LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications