J. Doyle, and M. Wellman. Proc.\ First International Conf.\ on Principles of Knowledge Representation and Reasoning, page 94--102. Toronto, Ontario, (May 1989)
M. Wellman, and J. Doyle. Proceedings of the First International Conference on Artificial Intelligence Planning Systems, page 236--242. College Park, Maryland, (1992)