Marcello Balduccini USA-Smart: Improving the Quality of Plans in Answer Set Planning. 135-147 http://dx.doi.org/10.1007/978-3-540-24836-1_10 2004 conf/padl/2004 PADL db/conf/padl/padl2004.html#Balduccini04