@inproceedings{backes04unification,
  author       = {Backes, Michael and Duermuth, Markus and Karjoth, Guenter},
  title        = {Unification in Privacy Policy Evaluation - Translating EPAL to Prolog},
  booktitle    = {Proceedings of 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY)},
  month        = {June},
  year         = {2004},
  pages        = {185-188}
}