Domain Construction for Mode Analysis of Typed Logic Programs.

Jan-Georg Smaus, Patricia M. Hill, Andy King

Browse the full ICLP paper archive.