Extending Prolog for Quantified Boolean Horn Formulas. - Anish Mallick; Anil Shukla (CoRR, 2021)