?url_ver=Z39.88-2004&rft_id=10.1093%2Flogcom%2F12.2.301&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Corradini&rft.aufirst=Flavio&rft.au=Corradini%2C+Flavio&rft.issue=2&rft.pages=301-320&rft.volume=12&rft.date=2002&rft.title=Journal+of+Logic+and+Computation&rft.atitle=An+Equational+Axiomatization+of+Bisimulation+over+Regular+Expressions&rft.issn=0955-792X&rft.genre=article