# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1324335884 0
# Node ID 7386f513c412b3c3a28199e0123204dfed238b03
# Parent  c56552053f17a538a3a133b1688d7e1516976eb9
updated

diff -r c56552053f17 -r 7386f513c412 projects.html
--- a/projects.html	Thu Dec 15 18:51:30 2011 +0000
+++ b/projects.html	Mon Dec 19 23:04:44 2011 +0000
@@ -257,7 +257,8 @@
 
   <p>
   <B>Literature:</B>
-  Central to this project is the paper <A HREF="http://www.dcc.fc.up.pt/~nam/publica/ijcs08.pdf">here</A>.
+  Central to this project are the papers <A HREF="http://www.dcc.fc.up.pt/~nam/publica/ijcs08.pdf">here</A>
+  and <A HREF="http://www.dcc.fc.up.pt/~nam/publica/51480046.pdf">here</A>.
   Other methods have been described, for example, 
   <A HREF="http://www4.informatik.tu-muenchen.de/~krauss/papers/rexp.pdf">here</A>.
   A relatively complicated method, based on automata, is described 
@@ -271,7 +272,7 @@
 
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Mon Dec 12 11:00:43 GMT 2011
+Last modified: Mon Dec 19 22:33:09 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>