You are about to access our book library "Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859) full version" .