Adding citation and contact information

docs/building_on.rst

@@ -79,3 +79,52 @@ The following example shows how you can use yinyang as an SMT-LIB parser.
     """
 
     formula, glob = parse_str(formula)
+
+
+
+Citing yinyang 
+.................
+
+The testing approaches implemented in yinyang are based on following two papers.
+
+**Type-Aware Operator Mutation (opfuzz)** `[pdf] <https://dl.acm.org/doi/abs/10.1145/3428261>`__
+
+.. code-block:: latex 
+
+    @article{winterer-zhang-su-oopsla2020
+      author    = {Dominik Winterer and
+                   Chengyu Zhang and
+                   Zhendong Su},
+      title     = {On the unusual effectiveness of type-aware operator mutations for
+                   testing {SMT} solvers},
+      journal   = {Proc. {ACM} Program. Lang.},
+      volume    = {4},
+      number    = {{OOPSLA}},
+      pages     = {193:1--193:25},
+      year      = {2020},
+    }
+
+
+**Semantic Fusion (fusion)**  `[pdf] <https://dl.acm.org/doi/abs/10.1145/3385412.3385985>`__
+
+.. code-block:: latex 
+
+    @inproceedings{winterer-zhang-su-pldi2020,
+          title = {Validating SMT Solvers via Semantic Fusion},
+          author = {Winterer, Dominik and Zhang, Chengyu and Su, Zhendong},
+          year = {2020},
+          booktitle = {Proceedings of the 41st ACM SIGPLAN Conference on Programming 
+                       Language Design and Implementation},
+          pages = {718–730}
+    }
+
+
+Contact
+........
+We are always happy to receive your feedback or help you adjust yinyang to the needs of your custom solver, help you build on yinyang, etc. Reach out for us.
+
+* `Dominik Winterer <https://wintered.github.io/>`_ - dominik.winterer@inf.ethz.ch
+
+* `Chengyu Zhang <http://chengyuzhang.com/>`_ - dale.chengyu.zhang@gmail.com
+
+* `Zhendong Su <https://people.inf.ethz.ch/suz/>`_ - zhendong.su@inf.ethz.ch