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-. (Springer-Verlag, 1995)