Title: Efficiency of Meta-level Inference (Research Notes in Artificial Intelligence)