David A. Basin Manuel Clavel José Meseguer Rewriting Logic as a Metalogical Framework. 55-80 2000 conf/fsttcs/2000 FSTTCS http://link.springer.de/link/service/series/0558/bibs/1974/19740055.htm db/conf/fsttcs/fsttcs2000.html#BasinCM00