@techreport{Bulling09patl-tr,
  author        = {N. Bulling and W. Jamroga},
  title         = {What Agents Can Probably Enforce},
  institution   = {Clausthal University of Technology},
  number        = {IfI-09-04},
  year          = {2009}
}