Domain Construction for Mode Analysis of Typed Logic Programs

Jan-Georg Smaus, Patricia M. Hill, Andy King. Domain Construction for Mode Analysis of Typed Logic Programs. In ICLP. pages 418, 1997.

Possibly Related Publications

The following publications are possibly variants of this publication: