diff --git a/doc/org/citing.org b/doc/org/citing.org
index b7e5f742f..bcd322024 100644
--- a/doc/org/citing.org
+++ b/doc/org/citing.org
@@ -70,10 +70,18 @@ be more specific about a particular aspect of Spot.
 
 - *Reactive Synthesis from LTL Specification with Spot*,
   /Thibaud Michaud/, /Maximilien Colange/.
-  In Proc. of SYNT@CAV'18. to appear.  ([[https://www.lrde.epita.fr/~max/bibtexbrowser.php?key=michaud.18.synt&bib=perso.bib][bib]] | [[https://www.lrde.epita.fr/dload/papers/michaud.18.synt.pdf][pdf]])
+  In Proc. of SYNT@CAV'18.  ([[https://www.lrde.epita.fr/~max/bibtexbrowser.php?key=michaud.18.synt&bib=perso.bib][bib]] | [[https://www.lrde.epita.fr/dload/papers/michaud.18.synt.pdf][pdf]])
 
   Presents the tool [[file:ltlsynt.org][=ltlsynt=]].
 
+- *Generic Emptiness Check for Fun and Profit*,
+  /Christel Baier/, /František Blahoudek/, /Alexandre Duret-Lutz/,
+  /Joachim Klein/, /David Müller/, and /Jan Strejček/.
+  In. Proc. of ATVA'19, LNCS 11781, pp. 11781, Oct 2019.  ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#baier.19.atva][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/baier.19.atva.pdf][pdf]] |
+  [[https://www.lrde.epita.fr/~adl/dl/adl/baier.19.atva.slides.mefosyloma.pdf][slides1]] | [[https://www.lrde.epita.fr/~adl/dl/adl/baier.19.atva.slides.pdf][slides2]])
+
+  Presents the generic emptiness-check implemented in Spot.
+
 * Obsolete reference
 
 - *Spot: an extensible model checking library using transition-based
diff --git a/doc/spot.bib b/doc/spot.bib
index f777ed604..bcb1452d4 100644
--- a/doc/spot.bib
+++ b/doc/spot.bib
@@ -40,12 +40,11 @@
 		  Automated Technology for Verification and Analysis
 		  (ATVA'19)},
   year		= {2019},
-  volume	= {?????},
+  volume	= {11781},
   series	= {Lecture Notes in Computer Science},
-  pages		= {???--???},
+  pages		= {445--461},
   month		= oct,
-  publisher	= {Springer},
-  note		= {To appear}
+  publisher	= {Springer}
 }
 
 @InProceedings{	  beer.01.cav,