lit

theorem provers

• https://theory.stanford.edu/~nikolaj/programmingz3.html

on causality

• https://www.cs.cornell.edu/home/halpern/papers/causalitybook-ch1-3.html?fbclid=IwAR2hMIze-bHI8h6k6cbTx7qh78Hi_TVqnTE6vf42jzFVyeSvfk7zlW5eqVc#head2.2
• https://www.youtube.com/watch?v=pEBI0vF45ic&feature=youtu.be&fbclid=IwAR1ZUot7iBVXRGT-2Crvc4Hu7L1mvE7DSF_LTdQdV98LeyUcCmRy2Cbdbpg
• https://www.youtube.com/watch?v=ZaPV1OSEpHw&feature=youtu.be&fbclid=IwAR0-_5B9hM35LVi-er30DMPZoRTpjVIIH0CY34NYh_DProbJrAoQohOuFow

existing services on fact validation

• https://www.snopes.com/fact-check/

conflict resolution

• https://www.urop.uci.edu/i-surf/recommended_readings/2019_chatbot_for_conflict_detection_and_resolution.pdf