1 files changed, 6 insertions, 0 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib
index 23f73b8..4eabf0a 100755
--- a/Assignment1/library.bib
+++ b/Assignment1/library.bib
@@ -17,6 +17,12 @@
   pages        = {409--448},
 }
 
+@phdthesis{Kamp1968,
+  title={Tense logic and the theory of linear order},
+  author={Kamp, Johan Anthony Wilem},
+  year={1968}
+}
+
 @InProceedings{Lichtenstein1985,
   author       = {Lichtenstein, Orna and Pnueli, Amir and Zuck, Lenore},
   title        = {The glory of the past},