L. J. M. Claesen

• Higher Order Logic Theorem Proving and Its Applications