Automated Aggregator - Rewriting with the Counting Aggregate. - Michael Dingess; Miroslaw Truszczynski (ICLP Technical Communications, 2020)