Solving advanced reasoning tasks using quantified Boolean formulas (2000)

by Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran
Venue:In Proc. AAAI 2000