Published in
Springer, Lecture Notes in Computer Science, p. 60-76, 2013
DOI: 10.1007/978-3-642-45284-0_5
Links
Tools
Supporting Pruning in Tabled LP
This paper is available in a repository.
Full text: Download
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 