Rewriting logic as a logical and semantic framework (2000)

by N Martí-Oliet, J Meseguer
Venue:Electronic Notes in Theoretical Computer Science