Mode Analysis Domains for Typed Logic Programs (2000)

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