Typed Norms for Typed Logic Programs. - Jonathan C. Martin; Andy King; Paul Soper (LOPSTR, 1996)

Generating Efficient, Terminating Logic Programs. - Jonathan C. Martin; Andy King (TAPSOFT, 1997)

Sonic Partial Deduction. - Jonathan C. Martin; Michael Leuschel (Ershov Memorial Conference, 1999)

Judgement day : terminating logic programs. - Jonathan Charles Martin (2000)

On the Inference of Natural Level Mappings. - Jonathan C. Martin; Andy King (Program Development in Computational Logic, 2004)

Control Generation by Program Transformation. - Andy King; Jonathan C. Martin (Fundam. Informaticae, 2006)