Login / Signup

Generalization in the Presence of Free Variables: A Mechanically-Checked Correctness Proof for one Algorithm.

Matt Kaufmann
Published in: J. Autom. Reason. (1991)
Keyphrases