--- a/README	Fri Jul 23 16:42:47 2010 +0200
+++ b/README	Sun Jul 25 22:42:21 2010 +0200
@@ -15,6 +15,9 @@
 
 Nominal/Ex    ... examples for new implementation
 
-Paper         ... submitted to ICFP
+Paper         ... submitted to POPL
 
-Pearl         ... paper accepted at ITP 
\ No newline at end of file
+Pearl         ... accepted at ITP 
+Pearl-jv      ... journal version
+
+Quotient-Paper .. submitted to APLAS
\ No newline at end of file