1 files changed, 10 insertions, 0 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib
index 9a45e4a..ade5101 100755
--- a/Assignment1/library.bib
+++ b/Assignment1/library.bib
@@ -77,3 +77,13 @@
 	year      = 2002,
 	pages     = {342--356}
 }
+
+@article{Etessami2002,
+	author    = {Etessami, Kousha and Vardi, Moshe Y. and Wilke, Thomas},
+	title     = {First-Order Logic with Two Variables and Unary Temporal Logic},
+	journal   = {Information and Computation},
+	volume    = 179,
+	issue     = 2,
+	year      = 2002,
+	pages     = {279--295}
+}