Abstract Domains Based on Regular Types.

John P. Gallagher, Kim S. Henriksen

Browse the full ICLP paper archive.