Meta-Level Abduction