@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",
  volume = "7211",
  series = "Lecture Notes in Computer Science",
  pages = "436--455",
  year = "2012",
  publisher = "Springer-Verlag"
}