Mode Analysis Domains for Typed Logic Programs.

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

Browse the full LOPSTR paper archive.