--- a/Pearl/document/root.bib	Wed Apr 07 22:08:46 2010 +0200
+++ b/Pearl/document/root.bib	Thu Apr 08 08:40:49 2010 +0200
@@ -17,8 +17,8 @@
 
 @article{GabbayPitts02,
   author =	 {M.~J.~Gabbay and A.~M.~Pitts},
-  title =	 {A New Approach to Abstract Syntax with Variable
-                  Binding},
+  title =	 {{A} {N}ew {A}pproach to {A}bstract {S}yntax with {V}ariable
+                  {B}inding},
   journal =	 {Formal Aspects of Computing},
   volume =	 {13},
   year =	 2002,
@@ -27,8 +27,8 @@
 
 @article{Pitts03,
   author =	 {A.~M.~Pitts},
-  title =	 {Nominal Logic, A First Order Theory of Names and
-                  Binding},
+  title =	 {{N}ominal {L}ogic, {A} {F}irst {O}rder {T}heory of {N}ames and
+                  {B}inding},
   journal =	 {Information and Computation},
   year =	 {2003},
   volume =	 {183},
@@ -125,7 +125,7 @@
 
 @Article{Cheney06,
   author = 	 {J.~Cheney},
-  title = 	 {{C}ompleteness and {H}erbrand theorems for {N}ominal {L}ogic},
+  title = 	 {{C}ompleteness and {H}erbrand {T}heorems for {N}ominal {L}ogic},
   journal = 	 {Journal of Symbolic Logic},
   year = 	 {2006},
   volume = 	 {71},