IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications (1992 Louvain, Belgium)