José Meseguer, editor, First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996. Volume 4 of Electronic Notes in Theoretical Computer Science, Elsevier, 1996. [doi]
Conference: WRLA1996
Abstract is missing.