1. On representations of problems of reasoning about actions;Amarel;Mach. Intell.,1968
2. A Basis for Theoretical Computer Science;Arbib,1981
3. Learning extension parameters in game-tree search;Bjornsson;Inform. Sci.,2003
4. AAAI: it’s time for large-scale systems;Bobrow;AI Mag.,2005
5. I. Cahit, Spiral Chains: A New Proof of the Four Color Theorem, 18 August 2004. Available from: .