@article{WRLA-2004-Marti-OlietMV05,
	author        = "Narciso Martí-Oliet and José Meseguer and Alberto Verdejo",
	doi           = "10.1016/j.entcs.2004.06.020",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pages         = "417--441",
	title         = "{Towards a Strategy Language for Maude}",
	volume        = 117,
	year          = 2005,
}