%0 Journal Article %1 journals/corr/cs-AI-0003030 %A Nuffelen, Bert Van %A Denecker, Marc %D 2000 %J CoRR %K dblp %T Problem solving in ID-logic with aggregates: some experiments %U http://dblp.uni-trier.de/db/journals/corr/corr0003.html#cs-AI-0003030 %V cs.AI/0003030

@article{journals/corr/cs-AI-0003030, added-at = {2020-01-10T00:00:00.000+0100}, author = {Nuffelen, Bert Van and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/20716de2f80b6eded86e48cf2f2580f48/dblp}, ee = {https://arxiv.org/abs/cs/0003030}, interhash = {b89cf8c697c2af31c727da2d66d992ca}, intrahash = {0716de2f80b6eded86e48cf2f2580f48}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:39:26.000+0100}, title = {Problem solving in ID-logic with aggregates: some experiments}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0003.html#cs-AI-0003030}, volume = {cs.AI/0003030}, year = 2000 }