Alviano, et al.. The Fourth Answer Set Programming Competition: Preliminary Report. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-40564-8_5.