1. Limboole. http://fmv.jku.at/limboole/index.html . Institute for Formal Models and Verification (2013)
2. Alon, N., Galil, Z., Margalit, O., Naor, M.: Witnesses for boolean matrix multiplication and for shortest paths. In: Foundations of Computer Science, 1992. Proceedings of 33rd Annual Symposium, pp. 417–426. IEEE (1992)
3. Andersen, J., Flamm, C., Merkle, D., Stadler P.: Maximizing output and recognizing autocatalysis in chemical reaction networks is NP-complete. J. Syst. Chem. 3(1) (2012)
4. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, UK) (2010)
5. Benkö G., Centler F., Dittrich P., Flamm C., Stadler B.M.R., Stadler P.F.: A topological approach to chemical organizations. Alife 15, 71–88 (2009)