Journal/Paper.thy
Fri, 13 Apr 2012 13:12:43 +0000 urbanc made the changes thes 2nd referee suggested and made it to compile again
Wed, 22 Feb 2012 13:25:49 +0000 urbanc partially updated conference paper; slightly tuned journal paper
less more (0) -30 -10 -2 tip