Higher order logic theorem proving and its applications 8th international workshop Aspen Grove, UT, USA ; September 11 - 14, 1995 ; proceedings (Springer, 1995)