Rewriting logic: roadmap and bibliography

Narciso Martı́-Oliet, José Meseguer
2002 Theoretical Computer Science  
doi:10.1016/s0304-3975(01)00357-7 fatcat:loych2t2vzcgjfnidkola4wvoe