Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings - Schubert, E. Thomas 1959-; Windley, Phillip J. 1958-; Alves-Foss, James 1964- (Lecture notes in computer science, 1995)