?url_ver=Z39.88-2004&rft_id=10.1051%2Fita%3A1999127&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Corradini%2C+Flavio&rft.aulast=Corradini&rft.aufirst=Flavio&rft.issue=4%2F5&rft.pages=447-466&rft.volume=33&rft.date=1999&rft.atitle=A+finite+axiomatization+of+nondeterministic+regular+expressions&rft.title=RAIRO+-+Theoretical+Informatics+and+Applications&rft.genre=article