@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}, }