1. Fink, E., Yang, Q.: Formalizing plan justifications. In: Proceedings of the Ninth Conference of the Canadian Society for Computational Studies of Intelligence, pp. 9–14 (1992)
2. Fink, E., Yang, Q.: A spectrum of plan justifications. In: Proceedings of the AAAI 1993 Spring Symposium, pp. 29–33 (1993)
3. Knoblock, C., Tenenberg, J., Yang, Q.: Characterizing abstraction hierarchies for planning. In: Proc. of AAAI 1991, pp. 692–697 (1991)
4. Yang, Q., Tenenberg, J.: ABTWEAK: Abstracting a nonlinear, least commitment planner. In: Proc. of AAAI 1990, pp. 204–209 (1990)
5. Bacchus, F., Yang, Q.: The downward refinement property. In: Proc. of IJCAI 1991, pp. 286–293 (1991)