@inproceedings{mart{\'\i}-oliet00rewriting,
    author = {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer},
    title = {Rewriting logic as a logical and semantic framework},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {4},
    publisher = {Elsevier Science Publishers},
    editor = {J. Meseguer},
    year = {2000}
}