Jonathan M. Lever

Constraint logic programming for scheduling and planning

Mark Wallace, Jonathan M. Lever, Barry Richards, 1995 .

Towards a closer integration of finite domainpropagation and simplex-based algorithms

Mark Wallace, Barry Richards, Jonathan M. Lever, 1998, Ann. Oper. Res..

Constraint Logic Programming for Planning

Jonathan M. Lever, 1994, ILPS.

Program Equivalence, Program Development and Integrity Checking

Jonathan M. Lever, 1991, LOPSTR.

parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints

Barry Richards, Jonathan M. Lever, 1994, ISMIS.

Proving Program Properties by Means of SLS-Resolution

Jonathan M. Lever, 1991, ICLP.