1. Afifi, D., Rydeheard, D., Barringer, H.: Automated reasoning in the simulation of evolvable systems. In: Workshop on Practical Aspects of Automated Reasoning (PAAR 2010), Edinburgh, UK (2010)
2. Akbarpour, B., Paulson, L.C.: Towards automatic proofs of inequalities involving elementary functions. PDPAR 2006: Pragmatical Aspects of Decision Procedures in Automated Reasoning, p. 27 (2006)
3. Lecture Notes in Computer Science;C. Barrett,2007
4. Barringer, H., Gabbay, D., Rydeheard, D.: Modelling evolvable component systems: Part I: A logical framework. Logic Jnl IGPL 17(6), 631–696 (2009)
5. Claessen, K., Sörensson, N.: New techniques that improve MACE-style model finding. In: Proc. of Workshop on Model Computation, MODEL (2003)