TY  - RPRT
TI  - Automated Aggregator -- Rewriting with the Counting Aggregate
AU  - Michael Dingess
AU  - Miroslaw Truszczynski
PY  - 2020
DO  - 10.4204/eptcs.325.17
UR  - https://arxiv.org/abs/2009.10240
ID  - 2009.10240
ER  -