Automatic Mode Inference for Prolog Programs.

Saumya K. Debray David Scott Warren Automatic Mode Inference for Prolog Programs. 78-88 1986 SLP db/conf/slp/slp86.html#DebrayW86