Uwe Egly Thomas Eiter Volker Klotz Hans Tompits Stefan Woltran Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. 2001 conf/asp/2001 Answer Set Programming http://www.cs.nmsu.edu/~tson/ASP2001/28.ps db/conf/asp/asp2001.html#EglyEKTW01