diff -r 11c3c302fa2e -r 204856ef5573 Journal/document/root.bib
--- a/Journal/document/root.bib	Wed Aug 17 07:43:09 2011 +0000
+++ b/Journal/document/root.bib	Wed Aug 17 17:36:19 2011 +0000
@@ -179,7 +179,7 @@
   author    = {C.~Wu and X.~Zhang and C.~Urban},
   title     = {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions
                ({P}roof {P}earl)},
-  booktitle = {Proc.~of the 2nd Conference on Interactive Theorem Proving},
+  booktitle = {Proc.~of the 2nd International Conference on Interactive Theorem Proving},
   year      = {2011},
   pages     = {341--356},
   series    = {LNCS},