Alan Bundy Leon Sterling Meta-Level Inference: Two Applications. 15-27 1988 4 J. Autom. Reasoning 1 db/journals/jar/jar4.html#BundyS88