Add literature

phd_jasper.bib

@@ -272,4 +272,40 @@
   pages     = {1--73},
   year      = {2021},
   publisher = {ACM New York, NY, USA}
+}
+
+@inproceedings{matsushita2020rusthorn,
+  title     = {RustHorn: CHC-Based Verification for Rust Programs.},
+  author    = {Matsushita, Yusuke and Tsukada, Takeshi and Kobayashi, Naoki},
+  booktitle = {ESOP},
+  pages     = {484--514},
+  year      = {2020}
+}
+
+@inproceedings{wang2018krust,
+  title        = {Krust: A formal executable semantics of rust},
+  author       = {Wang, Feng and Song, Fu and Zhang, Min and Zhu, Xiaoran and Zhang, Jun},
+  booktitle    = {2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)},
+  pages        = {44--51},
+  year         = {2018},
+  organization = {IEEE}
+}
+
+  @misc{enwiki:1071814133,
+  author       = {{Wikipedia contributors}},
+  title        = {Horn clause --- {Wikipedia}{,} The Free Encyclopedia},
+  year         = {2022},
+  howpublished = {\url{https://en.wikipedia.org/w/index.php?title=Horn_clause&oldid=1071814133}},
+  note         = {[Online; accessed 10-March-2022]}
+}
+
+@article{roșu2010kframework,
+  title     = {An overview of the K semantic framework},
+  author    = {Roșu, Grigore and Șerb{\u{a}}nut{\u{a}}, Traian Florin},
+  journal   = {The Journal of Logic and Algebraic Programming},
+  volume    = {79},
+  number    = {6},
+  pages     = {397--434},
+  year      = {2010},
+  publisher = {Elsevier}
 }
\ No newline at end of file