Corrected citation `vosskuhle09`→`vosskuhle10pt3`

Signed-off-by: Michel Vosskuhle <m.vosskuhle@gmail.com>
Corrected date in `vosskuhle13arx`

Signed-off-by: Michel Vosskuhle <m.vosskuhle@gmail.com>
Added publication `vosskuhle14arx`

Signed-off-by: Michel Vosskuhle <m.vosskuhle@gmail.com>