Extending a High-Performance Prover to Higher-Order Logic.

Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz

Browse the full TACAS paper archive.