Higher order logic theorem proving and its applicationsCarl-Johan H. Seger, Jeffrey J. Joyce · First published 1994Open the Tome
