Paper accepted for publication in the journal Applied Intelligence, subject to minor revisions McCasland, R.L. School of Informatics, University of Edinburgh Bundy, A. School of Informatics, University of Edinburgh Smith, P.F. Department of Mathematics, University of Glasgow This article was published on 2024-11-22
