Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / - Schubert, E. Thomas; Windley, Phillip J.; Alves-Foss, James (Springer-Verlag, 1995)