--- a/model/prov-constraints.html	Tue Nov 20 23:50:39 2012 +0000
+++ b/model/prov-constraints.html	Tue Nov 20 23:53:49 2012 +0000
@@ -250,12 +250,12 @@
 
       var extraReferences = {
         "CHR":
-         "Thom Frühwirth "+
+         "Thom Frühwirth. "+
          "<a        href=\"http://constraint-handling-rules.org/\"><cite>Constraint        Handling Rules</cite></a>."+
          " Cambridge University Press "+
          " URL: <a href=\"http://constraint-handling-rules.org/\">http://constraint-handling-rules.org/</a>",
         "CLOCK":
-         "Lamport, L. "+
+         "L. Lamport. "+
          "<a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\"><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>."+
          " Communications of the ACM 21 (7): 558–565. 1978. "+
          "URL: <a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> " +
@@ -266,12 +266,12 @@
          "Prentice-Hall. 1985"+
          "URL: <a href=\"http://www.usingcsp.com/cspbook.pdf\">http://www.usingcsp.com/cspbook.pdf</a>",
         "DBCONSTRAINTS":
-         " Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, and Lucian Popa "+
+         " Ronald Fagin; Phokion G. Kolaitis; Renée J. Miller; Lucian Popa. "+
          " <a href=\"http://dx.doi.org/10.1016/j.tcs.2004.10.033\"><cite>Data        exchange: Semantics and query answering</cite></a>.  Theoretical computer science 336(1):89-124 "+
          "  Elsevier "+
          " URL: <a href=\"http://dx.doi.org/10.1016/j.tcs.2004.10.033\">http://dx.doi.org/10.1016/j.tcs.2004.10.033</a>",
 	    "Logic":
-          "W. E. Johnson"+
+          "W. E. Johnson. "+
           "<a href=\"http://www.ditext.com/johnson/intro-3.html\"><cite>Logic: Part III</cite></a>."+
           "1924. "+
           "URL: <a href=\"http://www.ditext.com/johnson/intro-3.html\">http://www.ditext.com/johnson/intro-3.html</a>",

--- a/model/prov-dm.html	Tue Nov 20 23:50:39 2012 +0000
+++ b/model/prov-dm.html	Tue Nov 20 23:53:49 2012 +0000
@@ -316,7 +316,7 @@
          "Prentice-Hall. 1985"+
          "URL: <a href=\"http://www.usingcsp.com/cspbook.pdf\">http://www.usingcsp.com/cspbook.pdf</a>",
         "Logic":
-          "W. E. Johnson "+
+          "W. E. Johnson. "+
           "<a href=\"http://www.ditext.com/johnson/intro-3.html\"><cite>Logic: Part III</cite></a>."+
           "1924. "+
           "URL: <a href=\"http://www.ditext.com/johnson/intro-3.html\">http://www.ditext.com/johnson/intro-3.html</a>",