Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi.

Flemming Nielson, Hanne Riis Nielson, Helmut Seidl

Browse the full SAS paper archive.