Added newly published article `vosskuhle14jfm` and

deleted ArXiv version `vosskuhle13arx`.

Signed-off-by: Michel Voßkuhle <m.vosskuhle@gmail.com>
Corrected `&rdquo;`/`&ldquo;` around publications

Signed-off-by: Michel Voßkuhle <m.vosskuhle@gmail.com>