Accepted Manuscript (AM)
Griffith University Author(s)
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.
Theory of computation
Theory of computation not elsewhere classified