* Theory and Practice of Logic Programming 16 (2016) 247-268 * Under consideration in Theory and Practice of Logic Programming
(TPLP). arXiv admin note: substantial text overlap with arXiv:1302.7251 Access Paper or Ask Questions
* 39 pages and 16 pages appendix with proofs. This article has been
accepted for publication in Theory and Practice of Logic Programming,
Copyright Cambridge University Press Access Paper or Ask Questions