From da661112cd9355bd573c30170e675e1acb49264a Mon Sep 17 00:00:00 2001
From: Eric Giovannini <ecg19@seas.upenn.edu>
Date: Thu, 18 Jan 2024 17:52:36 -0500
Subject: [PATCH] add a citation in the intro

---
 paper-new/intro.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/paper-new/intro.tex b/paper-new/intro.tex
index 05c44c9..f04fba3 100644
--- a/paper-new/intro.tex
+++ b/paper-new/intro.tex
@@ -171,7 +171,7 @@ corresponding technical reports having 50+ pages of proofs.
 \end{comment}
 
 An alternative approach, which we investigate in this paper, is provided by
-\emph{synthetic guarded domain theory}.
+\emph{synthetic guarded domain theory}\cite{birkedal-mogelberg-schwinghammer-stovring2011}.
 The techniques of synthetic guarded domain theory allow us to internalize the
 step-indexed reasoning normally required in logical relations proofs of graduality,
 ultimately allowing us to specify the logical relation in a manner that looks nearly
-- 
GitLab