Extending SMT Solvers to Higher-Order Logic.

Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett

Browse the full CADE paper archive.