P. Graff, F. Feroz, M. Hobson, and A. Lasenby. (2013)cite arxiv:1309.0790Comment: 19 pages, 21 figures, 7 tables; this version is re-submission to MNRAS in response to referee comments; software available at http://www.mrao.cam.ac.uk/software/skynet/.
D. Reem. (2011)cite arxiv:1103.4125Comment: 30 pages (13 pages in appendices); a few corrections and additions, mainly regarding the references and the counterexamples; minor additional modifications; Theorem 8.13 and the figures were slightly improved; a modification of this paper will appear in SoCG 2011.
L. Schröder, and T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), volume 2422 of Lecture Notes in Computer Science, page 99--116. Springer; Berlin; http://www.springer.de, (2002)