1. LNAI,1994
2. Andrews, P.B.: Resolution in type theory. The J. of Symbolic Logic 36, 414–432 (1971)
3. Andrews, P.B., Longini Cohen, E.: Theorem proving in type theory. In: Proc. of IJCAI 1977, pp. 566–566 (1977)
4. Arenas-Sánchez, P., Dovier, A.: Minimal set unification. In: Alpuente, M., Sessa, M.I. (eds.) GULP-PRODE 1995, Marina di Vietri, Italy, September 11-14, pp. 447–458 (1995)
5. Asperti, A., Geuvers, H., Natarajan, R.: Social processes, program verification, and all that. Math. Struct. in Comp. Science 19(5), 877–896 (2009)