@misc{indiciaebc9166bb1a2e,
  title = {Feature-Aware Verification},
  author = {Sven Apel and Hendrik Speidel and Philipp Wendler and Alexander von Rhein and Dirk Beyer},
  year = {2011},
  url = {https://arxiv.org/abs/1110.0021},
  note = {Source identifier: 1110.0021}
}