1 files changed, 10 insertions, 0 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib
index ade5101..23f73b8 100755
--- a/Assignment1/library.bib
+++ b/Assignment1/library.bib
@@ -87,3 +87,13 @@
 	year      = 2002,
 	pages     = {279--295}
 }
+
+@article{Sistla1985,
+	author    = {Sistla, A. P. and Clarke, E. M.},
+	title     = {The Complexity of Propositional Linear Temporal Logics},
+	journal   = {Journal of the ACM},
+	volume    = 32,
+	issue     = 3,
+	year      = 1985,
+	pages     = {733--749}
+}