TY  - RPRT
TI  - Problem solving in ID-logic with aggregates: some experiments
AU  - Bert Van Nuffelen
AU  - Marc Denecker
PY  - 2000
UR  - https://arxiv.org/abs/cs/0003030
ID  - cs/0003030
ER  -