A. Kalyanpur, T. Breloff, and D. A. Ferrucci, “Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations”, AAAI, vol. 36, no. 10, pp. 10867-10874, Jun. 2022.