1. LNAI;P.B. Andrews,2000
2. Anonymous. The qed manifesto. In: Bundy, A. (ed.) CADE 1994. LNCS (LNAI), vol. 814, pp. 238–251. Springer, Heidelberg (1994)
3. Armando, A., Zini, D.: Towards interoperable mechanized reasoning systems: the logic broker architecture. In: Poggi, A. (ed.) Proceedings of the AI*IA-TABOO Joint Workshop From Objects to Agents: Evolutionary Trends of Software Systems, Parma, Italy (2000)
4. LNAI;P. Baumgartner,1994
5. LNAI;C. Benzmüller,1997