G. Neelakantan Kartha Two Counterexamples Related to Baker's Approach to the Frame Problem. 379-391 1994 69 Artif. Intell. 1-2 db/journals/ai/ai69.html#Kartha94