@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 = {September}, publisher = {Elsevier Science Publishers} }