TY  - RPRT
TI  - Extending Prolog for Quantified Boolean Horn Formulas
AU  - Anish Mallick
AU  - Anil Shukla
PY  - 2021
UR  - https://arxiv.org/abs/2103.01046
ID  - 2103.01046
ER  -