@inproceedings{Nielson02Normalizable,
  author = {Flemming Nielson and Hanne Riis Nielson and Helmut Seidl},
  title = {Normalizable {H}orn {C}lauses, {S}trongly {R}ecognizable {R}elations, and {S}pi},
  booktitle = {Static Analysis},
  editor = {Manuel V. Hermenegildo and Germ\'an Puebla},
  month = {September},
  year = 2002,
  pages = {20-35},
  series = {Lecture Notes in Computer Science},
  volume = {2477},
  publisher = {Springer},
  address = {Madrid, Spain},
}