Generalization in the presence of free variables: A mechanically-checked proof for one algorithm (1991)

by Matt Kaufmann
Venue:Journal of Automated Reasoning
Citations:2 - 1 self