TY  - RPRT
TI  - On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI
AU  - Adnan Darwiche
AU  - Pierre Marquis
PY  - 2021
DO  - 10.1613/jair.1.12756
UR  - https://arxiv.org/abs/2108.09876
ID  - 2108.09876
ER  -