Simari, Gerardo I. The monkey and bananas problem revisited : A situation calculus approach - p. 752-764 Standard No.: DIF-M3992