@Book{Sha97, Author = "Shanahan, M.", Year = "1997", Title = "{Solving the Frame Problem}", Publisher = "MIT Press", Comment = "TPTPRef" }