Performance Tuning in Answer Set Programming. - Matthew Buddenhagen; Yuliya Lierler (LPNMR, 2015)