Patrick Lincoln;Narciso Martí-Oliet;José Meseguer;Livio Ricciulli
-;-;-;-
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications