Jonathan M. Lever

	1994
4		Jonathan M. Lever, Barry Richards: parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints. ISMIS 1994: 213-222
3		Jonathan M. Lever: Constraint Logic Programming for Planning. SLP 1994: 679
	1991
2		Jonathan M. Lever: Proving Program Properties by Means of SLS-Resolution. ICLP 1991: 614-628
1		Jonathan M. Lever: Program Equivalence, Program Development and Integrity Checking. LOPSTR 1991: 1-12

Coauthor Index

1

Barry Richards

[4]