@misc{indiciaedc78d9aaafde,
  title = {Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry},
  author = {Andy King},
  year = {2009},
  url = {https://arxiv.org/abs/0903.2353},
  note = {Source identifier: 0903.2353}
}