diff --git a/papers.bib b/papers.bib
index 24f3fe7..cadf31d 100644
--- a/papers.bib
+++ b/papers.bib
@@ -36,22 +36,6 @@ @inproceedings{Ignat2024Synql
 keywords = {relational, invariants}
 }
 
-@article{Haas2024LoRe,
-author = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira},
-title = {{LoRe}: A Programming Model for Verifiably Safe Local-First Software},
-journal = {ACM Transactions on Programming Languages and Systems},
-volume = {46},
-number = {1},
-articleno = {2},
-year = {2024},
-month = jan,
-publisher = {ACM},
-pdf = {https://dl.acm.org/doi/pdf/10.1145/3633769},
-doi = {10.1145/3633769},
-eprint = {2304.07133},
-keywords = {verification, computation, invariants, systems, reactive programming, mixed-consistency}
-}
-
 @inproceedings{Stewen2024undo,
 author = {Stewen, Leo and Kleppmann, Martin},
 title = {Undo and Redo Support for Replicated Registers},
@@ -108,6 +92,22 @@ @inproceedings{Jacob2024Byzantine
 keywords = {security, causal-consistency}
 }
 
+@article{Haas2024LoRe,
+author = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira},
+title = {{LoRe}: A Programming Model for Verifiably Safe Local-First Software},
+journal = {ACM Transactions on Programming Languages and Systems},
+volume = {46},
+number = {1},
+articleno = {2},
+year = {2024},
+month = jan,
+publisher = {ACM},
+pdf = {https://dl.acm.org/doi/pdf/10.1145/3633769},
+doi = {10.1145/3633769},
+eprint = {2304.07133},
+keywords = {verification, computation, invariants, systems, reactive programming, mixed-consistency}
+}
+
 % 2023
 
 @inproceedings{Nasirifard2023orderlessChain,
diff --git a/papers.html b/papers.html
index b2b8538..7ed7474 100644
--- a/papers.html
+++ b/papers.html
@@ -116,26 +116,7 @@ <h2>Paper List</h2>
 
 
 <dt>
-[<a name="Haas2024LoRe">2</a>]
-</dt>
-<dd>
-Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, and Mira Mezini.
- LoRe: A programming model for verifiably safe local-first software.
- <em>ACM Transactions on Programming Languages and Systems</em>, 46(1),
-  January 2024.
-[&nbsp;<a href="papers_bib.html#Haas2024LoRe">bib</a>&nbsp;| 
-<a href="http://dx.doi.org/10.1145/3633769">DOI</a>&nbsp;| 
-<a href="http://arxiv.org/abs/2304.07133">arXiv</a>&nbsp;| 
-<a href="https://dl.acm.org/doi/pdf/10.1145/3633769">http</a>&nbsp;]
-<blockquote><font size="-1">
-Keywords: verification, computation, invariants, systems, reactive programming, mixed-consistency
-</font></blockquote>
-
-</dd>
-
-
-<dt>
-[<a name="Stewen2024undo">3</a>]
+[<a name="Stewen2024undo">2</a>]
 </dt>
 <dd>
 Leo Stewen and Martin Kleppmann.
@@ -153,7 +134,7 @@ <h2>Paper List</h2>
 
 
 <dt>
-[<a name="Da2024move">4</a>]
+[<a name="Da2024move">3</a>]
 </dt>
 <dd>
 Liangrun Da and Martin Kleppmann.
@@ -171,7 +152,7 @@ <h2>Paper List</h2>
 
 
 <dt>
-[<a name="Power2024lattices">5</a>]
+[<a name="Power2024lattices">4</a>]
 </dt>
 <dd>
 Conor Power, Saikrishna Achalla, Ryan Cottone, Nathaniel Macasaet, and
@@ -191,7 +172,7 @@ <h2>Paper List</h2>
 
 
 <dt>
-[<a name="Jacob2024Byzantine">6</a>]
+[<a name="Jacob2024Byzantine">5</a>]
 </dt>
 <dd>
 Florian Jacob and Hannes Hartenstein.
@@ -209,6 +190,25 @@ <h2>Paper List</h2>
 </dd>
 
 
+<dt>
+[<a name="Haas2024LoRe">6</a>]
+</dt>
+<dd>
+Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, and Mira Mezini.
+ LoRe: A programming model for verifiably safe local-first software.
+ <em>ACM Transactions on Programming Languages and Systems</em>, 46(1),
+  January 2024.
+[&nbsp;<a href="papers_bib.html#Haas2024LoRe">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/3633769">DOI</a>&nbsp;| 
+<a href="http://arxiv.org/abs/2304.07133">arXiv</a>&nbsp;| 
+<a href="https://dl.acm.org/doi/pdf/10.1145/3633769">http</a>&nbsp;]
+<blockquote><font size="-1">
+Keywords: verification, computation, invariants, systems, reactive programming, mixed-consistency
+</font></blockquote>
+
+</dd>
+
+
 <dt>
 [<a name="Nasirifard2023orderlessChain">7</a>]
 </dt>
diff --git a/papers_bib.html b/papers_bib.html
index 97e1169..70fdda7 100644
--- a/papers_bib.html
+++ b/papers_bib.html
@@ -15,24 +15,6 @@ <h1>CRDT Papers</h1><a name="Ignat2024Synql"></a><pre>
 }
 </pre>
 
-<a name="Haas2024LoRe"></a><pre>
-@article{<a href="papers.html#Haas2024LoRe">Haas2024LoRe</a>,
-  author = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira},
-  title = {{LoRe}: A Programming Model for Verifiably Safe Local-First Software},
-  journal = {ACM Transactions on Programming Languages and Systems},
-  volume = {46},
-  number = {1},
-  articleno = {2},
-  year = {2024},
-  month = jan,
-  publisher = {ACM},
-  pdf = {https://dl.acm.org/doi/pdf/10.1145/3633769},
-  doi = {10.1145/3633769},
-  eprint = {2304.07133},
-  keywords = {verification, computation, invariants, systems, reactive programming, mixed-consistency}
-}
-</pre>
-
 <a name="Stewen2024undo"></a><pre>
 @inproceedings{<a href="papers.html#Stewen2024undo">Stewen2024undo</a>,
   author = {Stewen, Leo and Kleppmann, Martin},
@@ -97,6 +79,24 @@ <h1>CRDT Papers</h1><a name="Ignat2024Synql"></a><pre>
 }
 </pre>
 
+<a name="Haas2024LoRe"></a><pre>
+@article{<a href="papers.html#Haas2024LoRe">Haas2024LoRe</a>,
+  author = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira},
+  title = {{LoRe}: A Programming Model for Verifiably Safe Local-First Software},
+  journal = {ACM Transactions on Programming Languages and Systems},
+  volume = {46},
+  number = {1},
+  articleno = {2},
+  year = {2024},
+  month = jan,
+  publisher = {ACM},
+  pdf = {https://dl.acm.org/doi/pdf/10.1145/3633769},
+  doi = {10.1145/3633769},
+  eprint = {2304.07133},
+  keywords = {verification, computation, invariants, systems, reactive programming, mixed-consistency}
+}
+</pre>
+
 <a name="Nasirifard2023orderlessChain"></a><pre>
 @inproceedings{<a href="papers.html#Nasirifard2023orderlessChain">Nasirifard2023orderlessChain</a>,
   author = {Nasirifard, Pezhman and Mayer, Ruben and Jacobsen, Hans-Arno},