Flow Analysis of Prolog Programs (1987)

by H Mannila, E Ukkonen
Venue:In Fourth IEEE Symposium on Logic Programming