From a68d573634333fbd9274560d2b81d80f981b64e4 Mon Sep 17 00:00:00 2001
From: Edward Lee <e45lee@users.noreply.github.com>
Date: Sun, 3 Mar 2024 23:22:38 -0500
Subject: [PATCH] Update README.md

---
 README.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 90c2d6d..c4e0bff 100644
--- a/README.md
+++ b/README.md
@@ -21,9 +21,8 @@ The artifact consists of the Coq proofs for our paper, based on the [POPLMark 08
     Article 21 (December 2023), 52 pages.](https://doi.org/10.1145/3618003)
 5.  System Fq (in [ExtendedBase](ExtendedBase)), modelling a qualifier system over an arbitrary initial qualifier lattice.
 
-Additionally, we give a mechanized proof of the crux of [Galatos' result](https://link.springer.com/article/10.1007/s11225-023-10063-4) in [LatticeReflTrans.v](LatticeReflTrans.v) formed by extracting the relevant parts
-of the proof of reflexivity and transitivity of the subqualification relation
-in System Fq.
+Additionally, we give a mechanized proof of the crux of [Negri's result](https://link.springer.com/content/pdf/10.1007/s000120200012.pdf) in [LatticeReflTrans.v](LatticeReflTrans.v) formed by extracting the relevant parts
+of the proof of reflexivity and transitivity of the subqualification relation in System Fq.
  
 ## Getting Started -- Building Locally