Answer Set Programming via Mixed Integer Programming (2012)
Liu Guohua , Janhunen Tomi , Niemelä Ilkka