diff --git a/thys/BenOr_Kozen_Reif/ROOT b/thys/BenOr_Kozen_Reif/ROOT
--- a/thys/BenOr_Kozen_Reif/ROOT
+++ b/thys/BenOr_Kozen_Reif/ROOT
@@ -1,11 +1,12 @@
 chapter AFP
 
 session BenOr_Kozen_Reif (AFP) = Algebraic_Numbers +
   options [timeout = 600]
   sessions
     Sturm_Tarski
   theories
     BKR_Decision
     Renegar_Decision
   document_files
     "root.tex"
+    "root.bib"