1. On the representation of problems of reasoning about actions;Amarel,1968
2. R1 revisited: Four years in the trenches;Bachant;AI Magazine,1984
3. HEARSAY-III: A domain-independent framework for expert systems;Balzer,1980
4. The B∗ tree search algorithm: A best-first proof procedure;Berliner;Artificial Intelligence,1979