1. Rodney A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14–23, 1986.
2. Rodney A. Brooks. Intelligence without reason. In J. Mylopolous and R. Reiter, editors, Proceedings of IJCAI 91, pages 569–595. Morgan Kaufmann Publishers, 1991.
3. Tze Ho Fung. A modified abductive framework. In N. Fuchs and G. Gottlob, editors, Proceedings of Logic Programming Workshop, 1994.
4. Tze Ho Fung. Abduction by deduction. PhD thesis, Imperial College, University of London, 1996.
5. Dov Gabbay. The declarative past and imperative future. In Howard Barringer, editor, Proccedings of the Colloquium on Temporal Logic and Specifications, LNCS, Vol. 398, pages 409–448. Springer-Verlag, 1989.