Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings - Joyce, Jeffrey J., 1960-; Seger, Carl-Johan H. (Lecture notes in computer science, 1994)