Meta-Level Inference and Program Verification.

Leon Sterling, Alan Bundy

Browse the full CADE paper archive.