@article{DBLP:journals/corr/SabuncuSS16,
  title = {Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective},
  author = {Sabuncu, Orkunt and Schaub, Torsten and Schulz{-}Hanke, Christian},
  journal = {CoRR},
  volume = {abs/1611.06413},
  year = {2016}
}