Return to Article Details On Quantifying Literals in Boolean Logic and its Applications to Explainable AI Download Download PDF