Rewriting Logic as a Metalogical Framework (2000)

by David Basin , Manuel Clavel , José Meseguer
Venue:Lecture Notes in Computer Science
Citations:16 - 5 self