| |
| 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 | |
| 1 | Barry Richards | [4] |