arXiv 2003-10-31 EN Logic programs with monotone cardinality atoms Marek, Victor W. · Niemela, Ilkka · Truszczynski, Miroslaw
