@article{Bulling10atlplus-aicomm,
  author        = {N. Bulling and W. Jamroga},
  title         = {Verifying Agents with Memory Is Harder than It Seemed},
  journal       = {AI Communications},
  volume        = {23},
  pages         = {380--403},
  publisher     = {IOS Press},
  year          = {2010}
}