Ersan, Murat and Akman, Varol  (1995) Situated Modeling of Epistemic Puzzles.  [Journal (Paginated)]