"Extending Prolog for Quantified Boolean Horn Formulas."

Anish Mallick, Anil Shukla (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics