Revert "Update README.md"

This reverts commit 7e4ffe3.

README.md

@@ -1,12 +1,16 @@
 # The Supporting Hyperplane Optimization Toolkit (SHOT)
 
-SHOT is a solver for mixed-integer nonlinear programming (MINLP) problems. It is a global solver, i.e., guarantees to find the optimal solution (if one exists) to convex problems. 
-
-SHOT may be able to solve certain types of nonconvex problems to global optimality as well, but should mostly be considered an heuristic method for problems containing nonconvexities. 
-
-SHOT is described in the paper:
+SHOT is a solver for convex mixed-integer nonlinear programming (MINLP) problems. It is
+described in the paper:
 
 Lundell, A. Kronqvist, J. and Westerlund, T. The Supporting Hyperplane Optimization Toolkit: A Polyhedral Outer Approximation Based 
 Convex MINLP Solver Utilizing a Single Branching Tree Approach (2018). http://www.optimization-online.org/DB_FILE/2018/06/6680.pdf
 
-For more information, visit the project website at https://www.shotsolver.dev.
+Some details are also given in:
+
+- Kronqvist, J., Lundell, A. and Westerlund, T. Journal of Global Optimization (2016) 64: 249. https://doi.org/10.1007/s10898-015-0322-3
+- Lundell, A., Kronqvist, J. and Westerlund, T. Proceedings of the XIII Global Optimization Workshop GOW’16 (2016). http://apolo.dps.uminho.pt/gow16/Proceedings_GOW16.pdf#page=112
+
+See the INSTALL file for installation instructions.
+
+The GAMS interface is contributed by Stefan Vigerske, GAMS Software GmbH.