Roadmap and Bibliography
From The Maude System
- Rewriting Logic: Roadmap and Bibliography by Narciso Martí-Oliet and José Meseguer.
- bibTeX file about Rewriting Logic that contains crossreferences to proceedings volumes.
- bibTeX file about Rewriting Logic without crossreferences.