Flemming Nielson, Hanne Riis Nielson, Helmut Seidl. Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. In Manuel V. Hermenegildo, Germán Puebla, editors, Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Volume 2477 of Lecture Notes in Computer Science, pages 20-35, Springer, 2002. [doi]
Abstract is missing.