Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs.

Ana Bove, Peter Dybjer, Andrs Sicard-Ramrez

Browse the full FOSSACS paper archive.