docs: Fix reference in sep logic reference. (#6747)

diff --git a/docs/theories/separation-logic.rst b/docs/theories/separation-logic.rst
index 43c114404617dd49dad2a826db43c75730264367..86f802ef88cb9a6aa961b2d477b80c9f8c7a6918 100644 (file)
--- a/docs/theories/separation-logic.rst
+++ b/docs/theories/separation-logic.rst
@@ -8,7 +8,7 @@ Signature
 ---------
 
 Given a (decidable) base theory :math:`T`, cvc5 implements a decision procedure
-for quantifier-free :math:`SL(T)_{Loc,Data}` formulas :cite:`ReynoldsIS016`,
+for quantifier-free :math:`SL(T)_{Loc,Data}` formulas :cite:`ReynoldsISK16`,
 where :math:`Loc` and :math:`Data` are any sort belonging to :math:`T`.
 
 A :math:`SL(T)_{Loc,Data}` formula is one from the following grammar: