@article{jlamp2017,
  author    = {Ra{\'{u}}l Pardo and
               Musard Balliu and
               Gerardo Schneider},
  title     = {Formalising privacy policies in social networks},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {90},
  pages     = {125--157},
  year      = {2017},
  doi       = {10.1016/j.jlamp.2017.02.008}
}