1 files changed, 63 insertions, 0 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib
new file mode 100755
index 0000000..d9f35e4
--- /dev/null
+++ b/Assignment1/library.bib
@@ -0,0 +1,63 @@
+@Article{Markey2003,
+  author    = {Markey, Nicolas},
+  title     = {Temporal logic with past is exponentially more succinct},
+  journal   = {EATCS Bulletin},
+  year      = {2003},
+  volume    = {79},
+  pages     = {122--128},
+  publisher = {European Association for Theoretical Computer Science},
+}
+
+@InProceedings{Gabbay1989,
+  author       = {Gabbay, Dov},
+  title        = {The declarative past and imperative future: executable temporal logic for interactive systems},
+  booktitle    = {Temporal logic in specification},
+  year         = {1989},
+  organization = {Springer},
+  pages        = {409--448},
+}
+
+@InProceedings{Lichtenstein1985,
+  author       = {Lichtenstein, Orna and Pnueli, Amir and Zuck, Lenore},
+  title        = {The glory of the past},
+  booktitle    = {Workshop on Logic of Programs},
+  year         = {1985},
+  organization = {Springer},
+  pages        = {196--218},
+}
+
+@InProceedings{Gabbay1980,
+  author       = {Gabbay, Dov and Pnueli, Amir and Shelah, Saharon and Stavi, Jonathan},
+  title        = {On the temporal analysis of fairness},
+  booktitle    = {Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
+  year         = {1980},
+  organization = {ACM},
+  pages        = {163--173},
+}
+
+@Article{Moser1994,
+  author    = {Moser, Louise E. and Melliar-Smith, PM and Kutty, George and Ramakrishna, YS},
+  title     = {Completeness and soundness of axiomatizations for temporal logics without next},
+  journal   = {Fundamenta Informaticae},
+  year      = {1994},
+  volume    = {21},
+  number    = {4},
+  pages     = {257--305},
+  publisher = {IOS Press},
+}
+
+@InProceedings{Laroussinie2002,
+  author       = {Laroussinie, Fran{\c{c}}ois and Markey, Nicolas and Schnoebelen, Philippe},
+  title        = {Temporal logic with forgettable past},
+  booktitle    = {Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on},
+  year         = {2002},
+  organization = {IEEE},
+  pages        = {383--392},
+}
+
+@Book{Prior1957,
+  author    = {Prior, Arthur N},
+  title     = {Time and modality},
+  year      = {1957},
+  publisher = {Clarendon Press},
+}