Published in
Springer, Lecture Notes in Computer Science, p. 317-331, 2015
DOI: 10.1007/978-3-319-17822-6_18
Links
Tools
Pre-indexed Terms for Prolog
Book chapter published in 2015 by
J. F. Morales,
M. Hermenegildo 
Distributing this paper is prohibited by the publisher
Full text: Unavailable
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 