![](https://www.pdfsearch.io/img/b38781e258eaf3968ee8b011838d6853.jpg) Date: 2015-12-24 20:47:04
| | Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1512.07780v1 [cs.LO] 24 Dec 2015Add to Reading ListSource URL: arxiv.orgDownload Document from Source Website File Size: 1,29 MBShare Document on Facebook
|