Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer. Pruning operators for answer set programming systems. In Salem Benferhat, Enrico Giunchiglia, editors, 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings. pages 200-209, 2002.
@inproceedings{CalimeriFLP02,
title = {Pruning operators for answer set programming systems},
author = {Francesco Calimeri and Wolfgang Faber and Nicola Leone and Gerald Pfeifer},
year = {2002},
tags = {programming},
researchr = {https://researchr.org/publication/CalimeriFLP02},
cites = {0},
citedby = {0},
pages = {200-209},
booktitle = {9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings},
editor = {Salem Benferhat and Enrico Giunchiglia},
}