1. Logic for Problem Solving, DCL Memo 75, Department of Artificial Intelligence, University of Edinburgh, 1974. (To be published by North-Holland as part of a book of the same title.)
2. Les Grammaires de Métamorphose, Groupe d'Intelligence Artificielle, Marseille-Luminy, 1975. (Appears as ‘Metamorphosis Grammars’ in: (Ed.), Natural Language Communication with Computers, Springer, 1978.)
3. Programming with Resolution Logic, Report CS-75–30, Department of Computer Science, University of Waterloo, Canada, 1975.
4. Prolog: Manuel de Référence et d'Utilisation, Groupe d'Intelligence Artificielle, Marseille-Luminy, 1975.
5. User's Guide to DECsystem-10 Prolog, Divisão de Informatica, Lab. Nac. de Engenharia Civil, Lisbon, 1977.