@Article{MMroadmap_2001, author = {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer}, title = {Rewriting Logic: Roadmap and Bibliography}, journal = {Theoretical Computer Science}, year = 2001, note = {To appear} }