Bottom-up dataflow analysis of normal logic programs (1992)

by K Marriott, H Søndergaard
Venue:Journal of Logic Programming