1. Some methods of controlling the search tree in chess programs;Adelson-Velskiy;Artificial Intelligence,2003
2. Distributed reachability analysis for protocol verification environments;Aggarwal,1988
3. Complexity of sorting and related problems;Aggarwal,1987
4. The input/output complexity of sorting and related problems;Aggarwal;Journal of the ACM,1988
5. Pengi: An implementation of a theory of activity;Agre,1987