MetadataShow full item record
Theory and Practice of Logic Programming
© 2015 Association for Logic Programming. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
Computation Theory and Mathematics not elsewhere classified