Meta-level inference: two applications (1988)

by A Bundy, L S Sterling
Venue:Journal of Automated Reasoning