Wilhelm, M.; Kern-Isberner, G. Focused Inference and System P. AAAI 2021, 35, 6522-6529.