1. Ajjanagadde, V. (1990). Reasoning with function symbols in a connectionist system. Technical report, Department of Computer and Information Science, University of Pennsylvania.
2. Ajjanagadde, V. and Shastri, L. (1991). Rules and variables in neural nets. Neural Computation, 3:121–134.
3. Ali, K. (1987). OR-parallel execution of Prolog on a multi-sequential machine. Parallel Programming, 15(3).
4. Amthor, R. (1989). Simulation eines Beweisers auf einer Multi-Prozessor Architektur. Master's thesis, Institut für Informatik, Technische Universität München.
5. Aso, M. and Onai, R. (1983). XP's: An Extended OR-Parallel Prolog System. Technical Report TR 023, Institute for New Generation Computer Technology (ICOT).