@article{HW06,
               author = {Joseph Y. Halpern and Vicky Weissman},
               title = {Using First-Order Logic to Reason about Policies},
               journal = {CoRR},
               volume = {cs.LO/0601034},
               year = {2006},
               ee = {http://arxiv.org/abs/cs.LO/0601034}
              }