@Book{AK+91,
    Author       = "Allen, J.F. and Kautz, H.A. and Pelavin, R.N. and
                    Tenenberg, J.D.",
    Year         = "1991",
    Title        = "{Reasoning about Plans}",
    Publisher    = "Morgan Kaufmann Publishers",
    Comment      = "TPTPRef"
}