From b0b8d3d1914ca9403c61fcc82fce41fb4ad3f100 Mon Sep 17 00:00:00 2001
From: Nicolas Amat <namat@laas.fr>
Date: Fri, 20 Oct 2023 17:14:44 +0200
Subject: [PATCH] Update README

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index fadbd3d..60ef95b 100644
--- a/README.md
+++ b/README.md
@@ -87,6 +87,10 @@ Additionally, a global environment consists in bindings of the form
 `pop         : p -> 0`    -  Discards the topmost stack element.  
 `help        :  -> 0`     -  Display this help.  
 
+## References
+
+- Amat, N, Le Botlan, D, Dal Zilio, S. Project and Conquer: Fast Quantifier Elimination for Checking Petri Nets Reachability. *International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), To appear.* 2024.
+
 ## Dependencies
 
 The code repository includes OCaml libraries developed by Didier Le Botlan (outside this project) located inside folder `lib/`.