Flow Analysis of Prolog Programs (1987)

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