Bi-rewriting Rewriting Logic1 1Supported by project DISCOR (TIC 94-0847-C02-01) funded by the CICYT | Publicación