@InProceedings{wrla98, author = {Fausto Giunchiglia and Piergiorgio Bertoli and Alessandro Coglio}, title = {The {OMRS} Project: State of the Art}, booktitle = {Proc.\ 2nd Workshop on Rewriting Logic and Its Applications ({WRLA'98})}, year = 1998, volume = 15, series = {Electronic Notes in Theoretical Computer Science}, month = sep, publisher = {Elsevier Science Publishers} }