From ef0a9bb9b52cf2342daa06f98c0f185568b430f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= <soelvsten@proton.me>
Date: Fri, 26 Jan 2024 12:13:03 +0100
Subject: [PATCH] Extend and Fix bibtex data

Changes the README's bibtex such that

1. The title is properly capitalized in the LaTeX output
2. Reformats bibtex data to be columnar and hence easier to read for a human being.
3. Adds multiple "missing" fields. Otherwise, anyone who cites needs to dig up this information independently. There is no need for this extra work.
---
 README.md | 24 ++++++++++++++++++------
 1 file changed, 18 insertions(+), 6 deletions(-)

diff --git a/README.md b/README.md
index 6ddc2ec..0064527 100644
--- a/README.md
+++ b/README.md
@@ -73,12 +73,24 @@ If you are using `lib-bdd` in academic research, we'd very much appreciate a cit
 
 ```
 @inproceedings{aeon,
-  title={AEON: attractor bifurcation analysis of parametrised boolean networks},
-  author={Bene{\v{s}}, Nikola and Brim, Lubo{\v{s}} and Kadlecaj, Jakub and Pastva, Samuel and {\v{S}}afr{\'a}nek, David},
-  booktitle={Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020, Proceedings, Part I 32},
-  pages={569--581},
-  year={2020},
-  organization={Springer}
+  title     = {{AEON}: {A}ttractor {B}ifurcation {A}nalysis of {P}arametrised {B}oolean {N}etworks},
+  author    = {Bene{\v{s}}, Nikola
+           and Brim, Lubo{\v{s}}
+           and Kadlecaj, Jakub
+           and Pastva, Samuel
+           and {\v{S}}afr{\'a}nek, David},
+  year      = {2020},
+  month     = {07},
+  booktitle = {Computer Aided Verification},
+  editor    = {Lahiri, Shuvendu K.
+           and Wang, Chao},
+  pages     = {569 -- 581},
+  numPages  = {13},
+  publisher = {Springer},
+  series    = {Lecture Notes in Computer Science},
+  volume    = {12224},
+  isbn      = {978-3-030-53288-8},
+  doi       = {10.1007/978-3-030-53288-8\_28}
 }
 ```