2008, Article in monograph or in proceedings (Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (ed.) Theorem proving in higher order logic : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings, pp. 246-261)
2008, Article in monograph or in proceedings (Mohamed, O.; Munoz, C. (ed.), Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings, pp. 246-261)
2005, Article in monograph or in proceedings (Hurd, J.; Melham, T. (eds.), Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings, pp. 245-260)