A Finite Axiomatization of Nondeterministic Regular Expressions

Flavio Corradini, Rocco De Nicola, Anna Labella
1999 RAIRO - Theoretical Informatics and Applications  
doi:10.1051/ita:1999127 fatcat:wg2q5ebivjespjerpwgkoptnry