@article{BrueningSchaub1999,
  author    = {Stefan Br{\"u}ning and Torsten H. Schaub},
  title     = {A voiding non-ground variables},
  year      = {1999},
}