Added paper links for kclause/kismet.

docs/overview.md

@@ -21,19 +21,24 @@ the following tools:
   given compilation unit.  It uses the logical models from `kclause` and `kmax`
 - `kclause` "compiles"
   [Kconfig](https://www.kernel.org/doc/html/latest/kbuild/kconfig-language.html)
-  constraints into logical formulas.  `kextractor` uses Linux's
-  own Kconfig parser to perform an extraction of the syntax of
-  configuration option names, types, dependencies, etc.
+  constraints into logical formulas.  `kextractor` uses Linux's own
+  Kconfig parser to perform an extraction of the syntax of
+  configuration option names, types, dependencies, etc.  It is
+  described in our [ESEC/FSE 2021 research
+  paper](https://paulgazzillo.com/papers/esecfse21.pdf).
 - `kmax` collects configuration information from [Kbuild
   Makefiles](https://www.kernel.org/doc/html/latest/kbuild/makefiles.html).
   It determines, for each compilation unit, a symbolic Boolean
   expression that represents the conditions under which the file gets
   compiled and linked into the final program.  Its algorithm is
-  described [here](https://paulgazzillo.com/papers/esecfse17.pdf) and
-  the original implementation can be found
-  [here](https://github.com/paulgazz/kmax/releases/tag/v1.0).
-- `kismet` does verification-based static analysis to find unmet dependency
-  bugs and generates test cases.
+  described in our [ESEC/FSE 2017 research
+  paper](https://paulgazzillo.com/papers/esecfse17.pdf) and the
+  original implementation is in [version
+  1.0](https://github.com/paulgazz/kmax/releases/tag/v1.0).
+- `kismet` does verification-based static analysis to find unmet
+  dependency bugs and generates test cases.  It is described in our
+  [ESEC/FSE 2021 research
+  paper](https://paulgazzillo.com/papers/esecfse21.pdf).
 
 ## Contributors