@article{Bulling09patl-fundamenta,
  author        = {N. Bulling and W. Jamroga},
  title         = {What Agents Can Probably Enforce},
  journal       = {Fundamenta Informaticae},
  volume        = {93},
  number        = {1-3},
  pages         = {81--96},
  year          = {2009},
  publisher     = {IOS Press}
}