diff --git a/yices.yaml b/yices.yaml
new file mode 100644
index 0000000..bb26918
--- /dev/null
+++ b/yices.yaml
@@ -0,0 +1,14 @@
+- key: Dutertre2014
+  author:
+    - Dutertre, Bruno
+  title: "Yices 2.2"
+  booktitle: Computer-Aided Verification
+  editor:
+    - Biere, Armin
+    - Bloem, Roderick
+  year: 2014
+  volume: 8559
+  series: Lecture Notes in Computer Science
+  pages: 737-744
+  month: July
+  publisher: Springer
\ No newline at end of file
diff --git a/z3.yaml b/z3.yaml
new file mode 100644
index 0000000..1b3e5a5
--- /dev/null
+++ b/z3.yaml
@@ -0,0 +1,13 @@
+- key: deMoura2008
+  author:
+    - de Moura, Leonardo
+    - Bjørner, Nikolaj
+  booktitle: TACAS
+  copyright: https://www.microsoft.com/en-us/research/publication/z3-an-efficient-smt-solver/
+  doi: 10.1007/978-3-540-78800-3_24
+  langid: english
+  publisher: Springer, Berlin, Heidelberg
+  shorttitle: Z3 SMT Solver
+  title: "Z3: An Efficient SMT Solver"
+  month: March
+  year: 2008
\ No newline at end of file