--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/document/root.bib	Sun Dec 30 14:58:48 2012 +0000
@@ -0,0 +1,9 @@
+@article{UrbanCheneyBerghofer11,
+  author = {C.~Urban and J.~Cheney and S.~Berghofer},
+  title = {{M}echanizing the {M}etatheory of {LF}},
+  journal = {ACM Transactions on Computational Logic},
+  volume = {12},
+  issue = {2},
+  year = {2011},
+  pages = {15:1--15:42}
+}