Efficient Dataflow Analysis of Logic Programs (1988)

by S Debray
Venue:In Proc. of 15th Annual Symposium on POPL