Automatic Generation of Mode Declarations for Prolog Programs (draft (1981)

by C S Mellish