Proving Program Properties by Means of SLS-Resolution. - Jonathan M. Lever (ICLP, 1991)

Program Equivalence, Program Development and Integrity Checking. - Jonathan M. Lever (LOPSTR, 1991)

parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints. - Jonathan M. Lever; Barry Richards (ISMIS, 1994)

Constraint Logic Programming for Planning. - Jonathan M. Lever (ILPS, 1994)

Towards a closer integration of finite domainpropagation and simplex-based algorithms. - Mozafar T. Hajian; Hani El Sakkout; Mark Wallace 001; Jonathan M. Lever; Barry Richards (Ann. Oper. Res., 1998)

A Local Search/Constraint Propagation Hybrid for a Network Routing Problem. - Jonathan M. Lever (Int. J. Artif. Intell. Tools, 2005)