1. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard - version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (SMT 2010), Edinburgh, Scotland, July 2010
2. Bobot, F.: [RFC] Add adhoc polymorphism.
https://github.com/CVC4/CVC4/pull/51
3. Lecture Notes in Computer Science;K Claessen,2013
4. Claessen, K., Johansson, M., Rosén, D., Smallbone, N.: The TIP language.
http://tip-org.github.io/format.html
5. Dixon, L., Johansson, M.: IsaPlanner 2: A proof planner in Isabelle. Technical report, University of Edinburgh (2007)