Gmeta: A generic formal metatheory framework for first-order representations (2012)

by G Lee, B C d S Oliveira, S Cho, K Yi
Venue:ESOP, Lecture Notes in Computer Science