diff --git a/libs/papers/Search/Generator.idr b/libs/papers/Search/Generator.idr
index f5f04b837..f9cb31819 100644
--- a/libs/papers/Search/Generator.idr
+++ b/libs/papers/Search/Generator.idr
@@ -1,6 +1,7 @@
 ||| The content of this module is based on the paper
 ||| Applications of Applicative Proof Search
 ||| by Liam O'Connor
+||| https://doi.org/10.1145/2976022.2976030
 |||
 ||| The main difference is that we use `Colist1` for the type of
 ||| generators rather than `Stream`. This allows us to avoid generating
diff --git a/libs/papers/Search/HDecidable.idr b/libs/papers/Search/HDecidable.idr
index a9d15b1b1..32c2298cb 100644
--- a/libs/papers/Search/HDecidable.idr
+++ b/libs/papers/Search/HDecidable.idr
@@ -1,6 +1,7 @@
 ||| The content of this module is based on the paper
 ||| Applications of Applicative Proof Search
 ||| by Liam O'Connor
+||| https://doi.org/10.1145/2976022.2976030
 
 module Search.HDecidable
 
diff --git a/libs/papers/Search/Properties.idr b/libs/papers/Search/Properties.idr
index 8136d94ea..d5ca5eb38 100644
--- a/libs/papers/Search/Properties.idr
+++ b/libs/papers/Search/Properties.idr
@@ -1,6 +1,7 @@
 ||| The content of this module is based on the paper
 ||| Applications of Applicative Proof Search
 ||| by Liam O'Connor
+||| https://doi.org/10.1145/2976022.2976030
 
 module Search.Properties