From: Markus Triska <triska@metalevel.at>
Date: Sat, 1 Apr 2023 08:42:58 +0000 (+0200)
Subject: DOC: link to "Indexing dif/2"
X-Git-Tag: v0.9.2~158^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b87fe1e21f2c509d85f9c2510146a7031c33f746;p=scryer-prolog.git

DOC: link to "Indexing dif/2"
---

diff --git a/README.md b/README.md
index 7cf8c129..12ec6934 100644
--- a/README.md
+++ b/README.md
@@ -45,7 +45,7 @@ Extend Scryer Prolog to include the following, among other features:
   - [x] Support for `attribute_goals/2` and `project_attributes/2`
   - [x] `call_residue_vars/2`
 - [x] `if_/3` and related predicates, following the developments of the
-      paper "Indexing `dif/2`".
+      paper "[Indexing `dif/2`](https://arxiv.org/abs/1607.01590)".
 - [x] All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`, `forall/2`).
 - [x] Clause creation and destruction (`asserta/1`, `assertz/1`,
       `retract/1`, `abolish/1`) with logical update semantics.