On the efficiency of meta-level inference

On the efficiency of meta-level inference