@misc{indiciaecf6ff0c21525,
  title = {Checking the Quality of Clinical Guidelines using Automated Reasoning Tools},
  author = {Arjen Hommersom and Peter J. F. Lucas and Patrick van Bommel},
  year = {2008},
  url = {https://arxiv.org/abs/0806.0250},
  note = {Source identifier: 0806.0250}
}