1. Natural Language Understanding;Allen,1995
2. A linear time algorithm for testing the truth of certain quantified Boolean formulas;Aspvall;Information Processing Letters,1979
3. Recognizing disguised NR(1) instances of the satisfiability problem;Aspvall;Journal of Algorithms,1980
4. On the desirability of acyclic database schemes;Beeri;Journal of the ACM,1983
5. C. Bessière, J.-C. Régin, Arc consistency for general constraint networks: preliminary results, in: Proceedings of IJCAI'97, Nagoya, Japan, 1997, pp. 398–404