[1]
M. Wilhelm and G. Kern-Isberner, “Focused Inference and System P”, AAAI, vol. 35, no. 7, pp. 6522-6529, May 2021.