diff -r 7acf8ff8cb0d -r a73de9a29bb5 publications.html --- a/publications.html Sun Nov 04 08:45:04 2012 +0000 +++ b/publications.html Tue Nov 06 00:04:58 2012 +0000 @@ -279,7 +279,7 @@

Nominal Logic Programming. (with Cheney) In ACM Transactions on Programming Languages and Systems, - 2008, Vol. 30(5), pages 26:1-26:47. + 2008, Vol. 30(5), Pages 26:1-26:47.