Kalyanpur, A.; Breloff, T.; Ferrucci, D. A. Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations. AAAI 2022, 36, 10867-10874.