--- a/LMCS-Paper/document/root.bib	Wed Sep 21 15:18:32 2011 +0200
+++ b/LMCS-Paper/document/root.bib	Wed Sep 21 18:27:24 2011 +0200
@@ -1,8 +1,8 @@
 @inproceedings{pfenningsystem,
-  author =       "Frank Pfenning and Carsten Sch{\"u}rmann", 
-  title =        "System Description: Twelf---{A} Meta-Logical
-                  Framework for Deductive Systems",
-  booktitle =    "Automated Deduction",
+  author =       "F.~Pfenning and C.~Sch{\"u}rmann", 
+  title =        "{S}ystem {D}escription: {T}welf - {A} {M}eta-{L}ogical
+                  {F}ramework for {D}eductive {S}ystems",
+  booktitle =    "Proc.~of the 16th International Conference on Automated Deduction (CADE)",
   series =       "LNAI",
   volume =       1632,
   pages =        "202--206",
@@ -38,8 +38,8 @@
 
 @InProceedings{UrbanKaliszyk11,
   author =       {C.~Urban and C.~Kaliszyk},
-  title =        {General Bindings and Alpha-Equivalence in Nominal Isabelle},
-  booktitle =    {Proceedings of the 20th European Symposium on Programming (ESOP)},
+  title =        {{G}eneral {B}indings and {A}lpha-{E}quivalence in {N}ominal {I}sabelle},
+  booktitle =    {Proc.~of the 20th European Symposium on Programming (ESOP)},
   pages =        {480-500},
   year =         {2011},
   volume =       {6602},
@@ -50,14 +50,14 @@
 @inproceedings{KaliszykUrban11,
   author = 	 {C.~Kaliszyk and C.~Urban},
   title = 	 {{Q}uotients {R}evisited for {I}sabelle/{HOL}},
-  booktitle = 	 {Proc.~of the 26th ACM Symposium On Applied Computing (SAC)},
+  booktitle = 	 {Proc.~of the 26th ACM Symposium on Applied Computing (SAC)},
   year = 	 {2011},
   pages =        {1639--1644}
 }
 
 @InProceedings{cheney05a,
   author = 	 {J.~Cheney},
-  title = 	 {{S}crap your {N}ameplate ({F}unctional {P}earl)},
+  title = 	 {{S}crap {Y}our {N}ameplate ({F}unctional {P}earl)},
   booktitle = 	 {Proc.~of the 10th International Conference on Functional Programming (ICFP)},
   pages = 	 {180--191},
   year = 	 {2005}
@@ -137,7 +137,7 @@
 
 @inproceedings{cheney05,
   author    = {J.~Cheney},
-  title     = {{T}oward a {G}eneral {T}heory of {N}ames: {B}inding and {S}cope},
+  title     = {{T}owards a {G}eneral {T}heory of {N}ames: {B}inding and {S}cope},
   booktitle = {Proc.~of the 3rd ACM Workshop on Mechanized Reasoning about Languages 
                with Variable Binding and Names (MERLIN)},
   year      = {2005},
@@ -191,7 +191,7 @@
   author = {F.~Pottier},
   title = {{A}n {O}verview of {C$\alpha$ml}},
   year = {2006},
-  booktitle = {ACM Workshop on ML},
+  booktitle = {Proc.~of the ACM Workshop on ML},
   pages = {27--52},
   volume = {148},
   number = {2},