Reasoning about plans / James F. Allen ; Henry A. Kautz ; Richard N. Pelavin ; Josh D. Tenenberg. San Mateo, Calif. : Morgan Kaufmann Publishers, 1991