complete reference to Esparza/Křetínský/Sickert LICS'18 paper

* NEWS, bin/man/spot-x.x, bin/spot-x.cc, spot/twaalgos/gfguarantee.hh:
Add the conference.
11 jobs for next in 235 minutes and 54 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #4166
arch-clang

00:43:46

passed #4167
arch-gcc-glibcxxdebug

00:37:13

passed #4165
debian-gcc-snapshot

01:03:46

passed #4163
debian-stable-gcc

00:32:03

passed #4164
debian-unstable-gcc-coverage

00:23:57

88.9%
passed #4170
debpkg-stable

01:53:30

passed #4173
debpkg-unstable

02:00:51

passed #4168
mingw-shared

00:15:26

passed #4169
mingw-static

00:14:38

failed #4171
debpkg-unstable

00:36:53

 
  Publish
passed #4172
dput
publish-unstable

00:01:32