@article{5559,
  title = "Refinement Checking for Privacy Policies",
  author = "N. Papanikolaou, M. Goldsmith, S. Creese",
  year = "2011",
  journal = "Science of Computer Programming",
  doi = "10.1016/j.scico.2011.07.009",
}