A Regular Type Analysis of Logic Programs.

Lunjin Lu, John G. Cleary

Browse the full ICLP paper archive.