diff --git a/doc/report/references.bib b/doc/report/references.bib
index 68d3389301720b7517a6eb643942cb3f0adad52c..7c96598326aa453347ae41f6a6924993cd14d330 100644
--- a/doc/report/references.bib
+++ b/doc/report/references.bib
@@ -81,10 +81,10 @@
 }
 
 @online{tetra,
-    title={Towards a Heterogeneous Query Language for Mathematical Knowledge},
+    title={Towards a Heterogeneous Query Language for Mathematical Knowledge: Extended Report},
     author={Bercic, Katja and Kohlhase, Michael and Rabe, Florian},
-    urldate = {2020-06-16},
-    url = {https://kwarc.info/people/mkohlhase/papers/cicm20-search.pdf},
+    urldate = {2020-06-24},
+    url = {https://kwarc.info/people/mkohlhase/papers/tetrasearch.pdf},
 }
 
 @book{owl,