Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings - Melham, T. F. (Tom F.); Camilleri, Juanito. (Springer-Verlag, 1994)