@inproceedings{LeOlChYi12,
   author = {Gyesik Lee and Bruno Oliveira and Sungkeun Cho and Kwangkeun Yi},
   title = {GMeta: A Generic Formal Metatheory Framework for First-Order Representation},
   booktitle = {ESOP 2012: The European Symposium on Programming},
   series = {Lecture Notes in Computer Science},
   publisher = {Springer-Verlag},
   year = {2012},
   category = {program-logics},
   format = {pdf},
}