diff --git a/Taylor2023.yaml b/Taylor2023.yaml
deleted file mode 100644
index 2a02ef1..0000000
--- a/Taylor2023.yaml
+++ /dev/null
@@ -1,34 +0,0 @@
-- key: Taylor2023
-  author:
-    - Taylor, Landon
-    - Israelsen, Bryant
-    - Zhang, Zhen
-  booktitle: Formal Methods in Computer-Aided Design
-  copyright: http://creativecommons.org/licenses/by/4.0/
-  doi: 10.34727/2023/isbn.978-3-85448-060-0_37
-  isbn: 978-3-85448-060-0
-  langid: english
-  month: October
-  pages: 284--293
-  publisher: TU Wien Academic Press
-  shorttitle: Cycle and Commute
-  title: "Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks"
-  urldate: 2023-11-08
-  year: "2023"
-- key: Taylor2027
-  author:
-    - Taylor, Landon
-    - Israelsen, Bryant
-    - Zhang, Zhen
-  booktitle: Formal Methods in Computer-Aided Design
-  copyright: http://creativecommons.org/licenses/by/4.0/
-  doi: 10.34727/2023/isbn.978-3-85448-060-0_37
-  isbn: 978-3-85448-060-0
-  langid: english
-  month: October
-  pages: 284--293
-  publisher: TU Wien Academic Press
-  shorttitle: Cycle and Commute
-  title: "Cycle and Commute: Ra45645646546re-Event Probability Verification for Chemical Reaction Networks"
-  urldate: 2023-11-08
-  year: "2023"
diff --git a/bitwuzla.yaml b/bitwuzla.yaml
deleted file mode 100644
index f5674d6..0000000
--- a/bitwuzla.yaml
+++ /dev/null
@@ -1,10 +0,0 @@
-- key: Niemetz2023
-  author:
-    - Aina Niemetz
-    - Mathias Preiner
-  title: Bitwuzla
-  booktitle: CAV 2023
-  pages: 3-17
-  publisher: Springer
-  year: 2023
-  doi: 10.1007/978-3-031-37703-7_1
\ No newline at end of file
diff --git a/boolector.yaml b/boolector.yaml
deleted file mode 100644
index 5552ed7..0000000
--- a/boolector.yaml
+++ /dev/null
@@ -1,14 +0,0 @@
-- key: Niemetz2014
-  type: article
-  authors:
-    - Aina Niemetz
-    - Mathias Preiner
-    - Armin Biere
-  title: Boolector 2.0
-  journal: J. Satisf. Boolean Model. Comput.
-  volume: 9
-  number: 1
-  pages: 53-58
-  year: 2014
-  # url: https://doi.org/10.3233/sat190101
-  doi: 10.3233/sat190101
\ No newline at end of file
diff --git a/cryptominisat.yaml b/cryptominisat.yaml
deleted file mode 100644
index 67529ea..0000000
--- a/cryptominisat.yaml
+++ /dev/null
@@ -1,12 +0,0 @@
-- key: Soos2009
-  title: Extending SAT Solvers to Cryptographic Problems
-  author:
-    - Mate Soos
-    - Karsten Nohl
-    - Claude Castelluccia
-  booktitle: SAT 2009
-  volume: 5584
-  pages: 244-257
-  publisher: Springer
-  year: 2009
-  doi: 10.1007/978-3-642-02777-2_24
\ No newline at end of file
diff --git a/cvc.yaml b/cvc.yaml
deleted file mode 100644
index ddffa35..0000000
--- a/cvc.yaml
+++ /dev/null
@@ -1,45 +0,0 @@
-- key: Barbosa2022
-  title: 'cvc5: A Versatile and Industrial-Strength SMT Solver'
-  author:
-    - Barbosa, Haniel
-    - Barrett, Clark W.
-    - Brain, Martin
-    - Kremer, Gereon
-    - Lachnitt, Hanna
-    - Mann, Makai
-    - Mohamed, Abdalrhman
-    - Mohamed, Mudathir
-    - Niemetz, Aina
-    - Nötzli, Andres
-    - Ozdemir, Alex
-    - Preiner, Mathias
-    - Reynolds, Andrew
-    - Sheng, Ying
-    - Tinelli, Cesare
-    - Zohar, Yoni
-  year: 2022
-  booktitle: TACAS 2022
-  pages: 415-442
-  publisher: Springer
-  doi: 10.1007/978-3-030-99524-9_24
-
-
-- key: Barrett2011
-  title: 'CVC4'
-  author:
-    - Barrett, Clark W.
-    - Conway, Christopher L.
-    - Deters, Morgan
-    - Hadarean, Liana
-    - Jovanovic, Dejan
-    - King, Tim
-    - Reynolds, Andrew
-    - Tinelli, Cesare
-  year: 2011
-  booktitle: 'Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings'
-  series: Lecture Notes in Computer Science
-  volume: 6806
-  pages: 171-177
-  publisher: Springer
-  doi: 10.1007/978-3-642-22110-1_14
-  url: https://doi.org/10.1007/978-3-642-22110-1_14
\ No newline at end of file
diff --git a/opensmt.yaml b/opensmt.yaml
deleted file mode 100644
index e69de29..0000000
diff --git a/parafrost.yaml b/parafrost.yaml
deleted file mode 100644
index 3bca5dd..0000000
--- a/parafrost.yaml
+++ /dev/null
@@ -1,15 +0,0 @@
-- key: Osama2024
-  title: Certified SAT solving with GPU accelerated inprocessing
-  author:
-    - Osama, Muhammad
-    - Wijs, Anton 
-    - Biere, Armin
-  year: 2024
-  # journal: x
-  booktitle: FMSD 2024
-  volume: 62
-  pages: 79-118
-  publisher: Springer
-  doi: 10.1007/s10703-023-00432-z
-  # url: x
-  
\ No newline at end of file
diff --git a/template.yaml b/pmc.yml
similarity index 100%
rename from template.yaml
rename to pmc.yml
diff --git a/q3b.yaml b/q3b.yaml
deleted file mode 100644
index 1dd6958..0000000
--- a/q3b.yaml
+++ /dev/null
@@ -1,13 +0,0 @@
-- key: Jonas2016
-  title: Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
-  author:
-    - Jonáš, Martin
-    - Strejček, Jan
-  year: 2016
-  # journal: x
-  booktitle: SAT 2016
-  # volume: 1
-  pages: 267-283
-  publisher: Springer
-  doi: 10.1007/978-3-319-40970-2_17
-  # url: x
\ No newline at end of file
diff --git a/sat-smt.yml b/sat-smt.yml
new file mode 100644
index 0000000..989ee83
--- /dev/null
+++ b/sat-smt.yml
@@ -0,0 +1,198 @@
+
+- key: Barrett2011
+  title: 'CVC4'
+  author:
+    - Barrett, Clark W.
+    - Conway, Christopher L.
+    - Deters, Morgan
+    - Hadarean, Liana
+    - Jovanovic, Dejan
+    - King, Tim
+    - Reynolds, Andrew
+    - Tinelli, Cesare
+  year: 2011
+  month: July
+  booktitle: CAV 2011
+  series: Lecture Notes in Computer Science
+  volume: 6806
+  pages: 171-177
+  publisher: Springer
+  doi: 10.1007/978-3-642-22110-1_14
+
+- key: Barbosa2022
+  title: 'cvc5: A Versatile and Industrial-Strength SMT Solver'
+  author:
+    - Barbosa, Haniel
+    - Barrett, Clark W.
+    - Brain, Martin
+    - Kremer, Gereon
+    - Lachnitt, Hanna
+    - Mann, Makai
+    - Mohamed, Abdalrhman
+    - Mohamed, Mudathir
+    - Niemetz, Aina
+    - Nötzli, Andres
+    - Ozdemir, Alex
+    - Preiner, Mathias
+    - Reynolds, Andrew
+    - Sheng, Ying
+    - Tinelli, Cesare
+    - Zohar, Yoni
+  year: 2022
+  booktitle: TACAS 2022
+  pages: 415-442
+  publisher: Springer
+  doi: 10.1007/978-3-030-99524-9_24
+
+- key: Cadar2006
+  title: 'EXE: Automatically Generating Inputs of Death'
+  author:
+    - Cadar, Cristian
+    - Ganesh, Vijay
+    - Pawlowski, Peter
+    - Engler, Dawson
+    - Dill, David
+  year: 2006
+  booktitle: CCS 2006
+  month: October
+  publisher: ACM
+  doi: 10.1145/1455518.1455522
+
+- key: Corzilius2015
+  title: "SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving"
+  author:
+    - Corzilius, Florian
+    - Kremer, Gereon
+    - Junges, Sebastian
+    - Schupp, Stefan
+    - 'Ábrahám, Erika'
+  year: 2015
+  booktitle: "SAT 2015"
+  pages: 360-368
+  publisher: Springer
+  doi: 10.1007/978-3-319-24318-4_26
+
+- key: deMoura2008
+  author:
+    - de Moura, Leonardo
+    - Bjørner, Nikolaj
+  booktitle: TACAS 2008
+  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
+
+- 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
+  doi: 10.1007/978-3-319-08867-9_49
+
+- key: Ganesh2007
+  title: 'A Decision Procedure for Bit-Vectors and Arrays'
+  author:
+    - Ganesh, Vijay
+    - Dill, David L.
+  year: 2007
+  booktitle: CAV 2007
+  month: July
+  publisher: Springer
+  doi: 10.1007/978-3-540-73368-3_52
+
+- key: Henkel2021
+  title: Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality
+  author:
+    - Henkel, Elisabeth
+    - Hoenicke, Jochen
+    - Schindler, Tanja
+  year: 2021
+  booktitle: SMT 2021
+  url: "https://ceur-ws.org/Vol-2908/short12.pdf"
+
+- key: Jonas2016
+  title: Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
+  author:
+    - Jonáš, Martin
+    - Strejček, Jan
+  year: 2016
+  booktitle: SAT 2016
+  pages: 267-283
+  publisher: Springer
+  doi: 10.1007/978-3-319-40970-2_17
+
+- key: Niemetz2014
+  type: article
+  authors:
+    - Aina Niemetz
+    - Mathias Preiner
+    - Armin Biere
+  title: Boolector 2.0
+  journal: J. Satisf. Boolean Model. Comput.
+  volume: 9
+  number: 1
+  pages: 53-58
+  year: 2014
+  doi: 10.3233/sat190101
+
+- key: Niemetz2023
+  author:
+    - Aina Niemetz
+    - Mathias Preiner
+  title: Bitwuzla
+  booktitle: CAV 2023
+  pages: 3-17
+  publisher: Springer
+  year: 2023
+  doi: 10.1007/978-3-031-37703-7_1
+
+- key: Osama2024
+  title: Certified SAT solving with GPU accelerated inprocessing
+  author:
+    - Osama, Muhammad
+    - Wijs, Anton 
+    - Biere, Armin
+  year: 2024
+  booktitle: FMSD 2024
+  volume: 62
+  pages: 79-118
+  publisher: Springer
+  doi: 10.1007/s10703-023-00432-z
+
+- key: Schurr2021
+  title: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant 
+  author:
+    - Schurr, Hans-Jörg 
+    - Fleury, Mathias 
+    - Desharnais, Martin
+  year: 2021
+  booktitle: CADE 2021
+  doi: 10.1007/978-3-030-79876-5_26
+  publisher: Springer
+
+- key: Soos2009
+  title: Extending SAT Solvers to Cryptographic Problems
+  author:
+    - Mate Soos
+    - Karsten Nohl
+    - Claude Castelluccia
+  booktitle: SAT 2009
+  volume: 5584
+  pages: 244-257
+  publisher: Springer
+  year: 2009
+  doi: 10.1007/978-3-642-02777-2_24
+
diff --git a/smt-rat.yaml b/smt-rat.yaml
deleted file mode 100644
index e1e0511..0000000
--- a/smt-rat.yaml
+++ /dev/null
@@ -1,13 +0,0 @@
-- key: Corzilius2015
-  title: "SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving"
-  author:
-    - Corzilius, Florian
-    - Kremer, Gereon
-    - Junges, Sebastian
-    - Schupp, Stefan
-    - 'Ábrahám, Erika'
-  year: 2015
-  booktitle: "SAT 2015"
-  pages: 360-368
-  publisher: Springer
-  doi: 10.1007/978-3-319-24318-4_26
\ No newline at end of file
diff --git a/smtinterpol.yaml b/smtinterpol.yaml
deleted file mode 100644
index f0ecfc0..0000000
--- a/smtinterpol.yaml
+++ /dev/null
@@ -1,9 +0,0 @@
-- key: Henkel2021
-  title: Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality
-  author:
-    - Henkel, Elisabeth
-    - Hoenicke, Jochen
-    - Schindler, Tanja
-  year: 2021
-  booktitle: SMT 2021
-  url: "https://ceur-ws.org/Vol-2908/short12.pdf"
diff --git a/stp.yaml b/stp.yaml
deleted file mode 100644
index 7977159..0000000
--- a/stp.yaml
+++ /dev/null
@@ -1,24 +0,0 @@
-- key: Ganesh2007
-  title: 'A Decision Procedure for Bit-Vectors and Arrays'
-  author:
-    - Ganesh, Vijay
-    - Dill, David L.
-  year: 2007
-  booktitle: CAV 2007
-  month: July
-  publisher: Springer
-  doi: 10.1007/978-3-540-73368-3_52
-
-- key: Cadar2006
-  title: 'EXE: Automatically Generating Inputs of Death'
-  author:
-    - Cadar, Cristian
-    - Ganesh, Vijay
-    - Pawlowski, Peter
-    - Engler, Dawson
-    - Dill, David
-  year: 2006
-  booktitle: CCS 2006
-  month: October
-  publisher: ACM
-  doi: 10.1145/1455518.1455522
diff --git a/template.yml b/template.yml
new file mode 100644
index 0000000..9cb3969
--- /dev/null
+++ b/template.yml
@@ -0,0 +1,12 @@
+- key: x
+  title: x
+  author:
+    - y, x
+  year: 1
+  journal: x
+  booktitle: CONF 2000
+  volume: 1
+  pages: 1-2
+  publisher: x
+  doi: x
+  url: x
\ No newline at end of file
diff --git a/verit.yaml b/verit.yaml
deleted file mode 100644
index c4682c7..0000000
--- a/verit.yaml
+++ /dev/null
@@ -1,10 +0,0 @@
-- key: Schurr2021
-  title: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant 
-  author:
-    - Schurr, Hans-Jörg 
-    - Fleury, Mathias 
-    - Desharnais, Martin
-  year: 2021
-  booktitle: CADE 2021
-  doi: 10.1007/978-3-030-79876-5_26
-  publisher: Springer
\ No newline at end of file
diff --git a/yices.yaml b/yices.yaml
deleted file mode 100644
index 5749c4c..0000000
--- a/yices.yaml
+++ /dev/null
@@ -1,15 +0,0 @@
-- 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
-  doi: 10.1007/978-3-319-08867-9_49
\ No newline at end of file
diff --git a/z3.yaml b/z3.yaml
deleted file mode 100644
index bd7e6fb..0000000
--- a/z3.yaml
+++ /dev/null
@@ -1,13 +0,0 @@
-- key: deMoura2008
-  author:
-    - de Moura, Leonardo
-    - Bjørner, Nikolaj
-  booktitle: TACAS 2008
-  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