diff --git a/README.md b/README.md
index a65b9f4..0fbcf3f 100644
--- a/README.md
+++ b/README.md
@@ -11,8 +11,11 @@ or include testing
 
 which produces scrambled versions of the CNFs in 'cnfs' in 'log'.
 
-To understand what `scranfilize` can to run
+To understand what `scranfilize` can do run
 
   `./scranfilize -h`
 
 after building it.
+
+This tool is described in our [POS'18 paper]<http://fmv.jku.at/papers/BiereHeule-POS18.pdf>
+which also comes with [experiments]<http://fmv.jku.at/scranfilize>.