Introducing Real Variables and Integer Objective Functions to Answer Set Programming (2013)
Liu Guohua , Janhunen Tomi , Niemelä Ilkka