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

by Gyesik Lee, Bruno C d S Oliveira, Sungkeun Cho, Kwangkeun Yi
Venue:In Helmut Seidl, editor, Programming Languages and Systems, volume 7211 of Lecture Notes in Computer Science