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

by K Marriott, H Søndergaard
Venue:J. Log. Program