1. Robinson, J.A., et al. (eds.): Handbook of Automated Reasoning. Elsevier Science Publishers, Amsterdam (2002)
2. Fenkam, P., Jazayeri, M., Reif, G.: On methodologies for constructing correct event-based applications. In: Proc. of 3rd International Workshop on Distributed Event-Based Systems, Edinburgh, UK, pp. 38–43 (2004)
3. Kubica, J., Rieffel, E.G.: Collaborating with a genetic programming system to generate modular robotic code. In: Proc. of Genetic and Evolutionary Computation Conference, New York, USA, pp. 804–811 (2002)
4. Lin, H., Sun, J.G., Zhang, Y.M.: Theorem proving based on extension rule. Journal of Automated Reasoning 31, 11–21 (2003)
5. Wu, X., Sun, J.G., Lu, S., Yin, M.H.: Propositional extension rule with reduction. IJCSNS International Journal of Computer Science and Network Security 6, 190–195 (2006)