%0 Journal Article %1 journals/jar/ParkSPL14 %A Park, Jonghyun %A Seo, Jeongbong %A Park, Sungwoo %A Lee, Gyesik %D 2014 %J J. Autom. Reason. %K dblp %N 2 %P 215-239 %T Mechanizing Metatheory Without Typing Contexts. %U http://dblp.uni-trier.de/db/journals/jar/jar52.html#ParkSPL14 %V 52

@article{journals/jar/ParkSPL14, added-at = {2020-09-02T00:00:00.000+0200}, author = {Park, Jonghyun and Seo, Jeongbong and Park, Sungwoo and Lee, Gyesik}, biburl = {https://www.bibsonomy.org/bibtex/21bb509bea73ce4718bf17239069d6c61/dblp}, ee = {https://doi.org/10.1007/s10817-013-9287-4}, interhash = {60c3778d3ece3ddaeb36c404b4375edf}, intrahash = {1bb509bea73ce4718bf17239069d6c61}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {215-239}, timestamp = {2020-09-09T13:34:59.000+0200}, title = {Mechanizing Metatheory Without Typing Contexts.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar52.html#ParkSPL14}, volume = 52, year = 2014 }