1. The generalised completeness of Horn predicate-logic as a programming language;Andreka;Dept. of AI Research Report 21,1976
2. Syntactic analysis in a speech understanding system;Bates;BBN Report 3116,1975
3. The theory and practice of augmented transition networks;Bates,1978
4. Sycophante: système de calcul formel et d'intégration symbolique sur l'ordinateur;Bergman,1975
5. The sharing of structure in theorem proving programs;Boyer,1972