Finding Temporary Terms in Prolog Programs. - Pentti Vataja; Esko Ukkonen (FGCS, 1984)