Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1512.07780v1 [cs.LO] 24 Dec 2015

First Page		Document Content
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 2015 Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 1,29 MB Share Document on Facebook