Jeffrey J. Joyce

• Higher order logic theorem proving and its applications