QUBE: A system for deciding quantified Boolean formulas satisfiability (2001)

by E Giunchiglia, M Narizzano, A Tacchella
Venue:In 1st IJCAR