Carl-Johan H. Seger

Higher order logic theorem proving and its applications