diff --git a/doc/org/citing.org b/doc/org/citing.org
index 8cc1f52ef..8d669ae69 100644
--- a/doc/org/citing.org
+++ b/doc/org/citing.org
@@ -80,12 +80,18 @@ be more specific about a particular aspect of Spot.
 - *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]] |
+  In. Proc. of ATVA'19, LNCS 11781, pp. 445--461, 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
+- *Practical Applications of the Alternating Cycle Decomposition*,
+  /Antonio Casares/, /Alexandre Duret-Lutz/, /Klara J. Meyer/, /Florian Renkin/,
+  and /Salomon Sickert/.
+  In. Proc. of TACAS'22, LNCS 13244, pp. 99--117, Apr 2022.  ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#casares.22.tacas][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/casares.22.tacas.pdf][pdf]] |
+  [[https://www.lrde.epita.fr/~adl/dl/adl/casares.22.tacas.slides.pdf][slides1]] | [[https://www.lrde.epita.fr/~adl/dl/adl/casares.22.tacas.slides2.pdf][slides2]])
+
+* Obsolete references
 
 - *Spot 2.0 — a framework for LTL and ω-automata manipulation*,
   /Alexandre Duret-Lutz/, /Alexandre Lewkowicz/, /Amaury Fauchille/,
diff --git a/doc/spot.bib b/doc/spot.bib
index 284bf226a..6193cb1a2 100644
--- a/doc/spot.bib
+++ b/doc/spot.bib
@@ -172,6 +172,22 @@
   doi		= {10.4230/LIPIcs.ICALP.2021.123}
 }
 
+@InProceedings{	  casares.22.tacas,
+  author	= {Antonio Casares and Alexandre Duret-Lutz and Klara J.
+		  Meyer and Florian Renkin and Salomon Sickert},
+  title		= {Practical Applications of the {A}lternating {C}ycle
+		  {D}ecomposition},
+  booktitle	= {Proceedings of the 28th International Conference on Tools
+		  and Algorithms for the Construction and Analysis of
+		  Systems},
+  year		= {2022},
+  series	= {Lecture Notes in Computer Science},
+  month		= apr,
+  volume	= {13244},
+  pages		= {99--117},
+  doi		= {10.1007/978-3-030-99527-0_6},
+}
+
 @InProceedings{	  cerna.03.mfcs,
   author	= {Ivana {\v{C}}ern{\'a} and Radek Pel{\'a}nek},
   title		= {Relating Hierarchy of Temporal Properties to Model