@conference{LeOlChYi-ESOP-2012,
author = {Gyesik Lee and Bruno C. d. S. Oliveira and Sungkeun Cho and Kwangkeun Yi},
title = {GMeta: A Generic Formal Metatheory Framework for First-Order Representations},
booktitle = {Proceedings of the European Symposium on Programming},
year = {2012}
}