Mechanical Verification of Mutually Recursive Procedures.

Peter V. Homeier, David F. Martin

Browse the full CADE paper archive.