Extending a Brainiac Prover to Lambda-Free Higher-Order Logic.

Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz

Browse the full TACAS paper archive.