Jonghyun Park, Jeongbong Seo, Sungwoo Park, Gyesik Lee. Mechanizing Metatheory Without Typing Contexts. Journal of Automated Reasoning, 52(2):215-239, 2014. [doi]
@article{ParkSPL14,
title = {Mechanizing Metatheory Without Typing Contexts},
author = {Jonghyun Park and Jeongbong Seo and Sungwoo Park and Gyesik Lee},
year = {2014},
doi = {10.1007/s10817-013-9287-4},
url = {http://dx.doi.org/10.1007/s10817-013-9287-4},
researchr = {https://researchr.org/publication/ParkSPL14},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {52},
number = {2},
pages = {215-239},
}